Collaborated with:
G.Anderson I.Dillig S.Chaudhuri
Talks about:
synergist (1) approach (1) abstract (1) network (1) robust (1) neural (1) analyz (1) optim (1)
Person: Shankara Pailoor
DBLP: Pailoor:Shankara
Contributed to:
Wrote 1 papers:
- PLDI-2019-AndersonPDC #abstraction #approach #network #optimisation #robust
- Optimization and abstraction: a synergistic approach for analyzing neural network robustness (GA, SP, ID, SC), pp. 731–744.