firstbacksecondback
4 Results
|
Poster
|
Tue 14:30 |
Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach Saeed Amizadeh · Sergiy Matusevych · Markus Weimer |
|
|
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 |
|
|
Poster
|
Thu 14:30 |
Learning Neural PDE Solvers with Convergence Guarantees Jun-Ting Hsieh · Shengjia Zhao · Stephan Eismann · Lucia Mirabella · Stefano Ermon |
|
|
Poster
|
Tue 14:30 |
Boosting Robustness Certification of Neural Networks Gagandeep Singh · Timon Gehr · Markus Püschel · Martin Vechev |