ML Anthology
Authors
Search
About
Mukherjee, Rohan
1 publications
NeurIPS
2021
Neural Program Generation Modulo Static Analysis
Rohan Mukherjee
,
Yeming Wen
,
Dipak Chaudhari
,
Thomas Reps
,
Swarat Chaudhuri
,
Christopher Jermaine