firstbacksecondback
3 Results
|
Poster
|
Tue 14:30 |
Boosting Robustness Certification of Neural Networks Gagandeep Singh · Timon Gehr · Markus Püschel · Martin Vechev |
|
|
Poster
|
Thu 14:30 |
Learning Procedural Abstractions and Evaluating Discrete Latent Temporal Structure Karan Goel · Emma Brunskill |
|
|
Poster
|
Wed 14:30 |
Learning to Make Analogies by Contrasting Abstract Relational Structure Felix Hill · Adam Santoro · David Barrett · Ari Morcos · Timothy Lillicrap |