firstbacksecondback
3 Results
|
Poster
|
Wed 9:00 |
Neural Logic Machines Honghua Dong · Jiayuan Mao · Tian Lin · Chong Wang · Lihong Li · Dengyong Zhou |
|
|
Poster
|
Thu 14:30 |
Learning a Meta-Solver for Syntax-Guided Program Synthesis Xujie Si · Yuan Yang · Hanjun Dai · Mayur Naik · Le Song |
|
|
Poster
|
Thu 9:00 |
Top-Down Neural Model For Formulae Karel Chvalovský |