firstbacksecondback
2 Results
|
Poster
|
Thu 14:30 |
GamePad: A Learning Environment for Theorem Proving Daniel Huang · Prafulla Dhariwal · Dawn Song · Ilya Sutskever |
|
|
Poster
|
Tue 9:00 |
Learning a SAT Solver from Single-Bit Supervision Daniel Selsam · Matthew Lamm · Benedikt B\"{u}nz · Percy Liang · Leonardo Moura · David L Dill |