firstbacksecondback
2 Results
|
Poster
|
Thu 14:30 |
Learning a Meta-Solver for Syntax-Guided Program Synthesis Xujie Si · Yuan Yang · Hanjun Dai · Mayur Naik · Le Song |
|
|
Poster
|
Wed 9:00 |
Execution-Guided Neural Program Synthesis Xinyun Chen · Chang Liu · Dawn Song |