firstbacksecondback
5 Results
|
Poster
|
Wed 9:00 |
Synthetic Datasets for Neural Program Synthesis Richard Shin · Neel Kant · Kavi Gupta · Christopher Bender · Brandon Trabucco · Rishabh Singh · Dawn Song |
|
|
Poster
|
Wed 9:00 |
Execution-Guided Neural Program Synthesis Xinyun Chen · Chang Liu · Dawn Song |
|
|
Poster
|
Tue 14:30 |
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng · Kai Xiao · Russ Tedrake |
|
|
Poster
|
Wed 9:00 |
Combinatorial Attacks on Binarized Neural Networks Elias Khalil · Amrita Gupta · Bistra Dilkina |
|
|
Poster
|
Wed 9:00 |
Neural Program Repair by Jointly Learning to Localize and Repair Marko Vasic · Aditya Kanade · Petros Maniatis · David Bieber · Rishabh Singh |