| Scaling the Convex Barrier with Active Sets. | 0 | 0.34 | 2021 |
| Verification of Non-Linear Specifications for Neural Networks. | 0 | 0.34 | 2019 |
| Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis. | 0 | 0.34 | 2018 |
| On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models. | 17 | 0.53 | 2018 |
| Learning to superoptimize programs. | 0 | 0.34 | 2017 |
| Learning to superoptimize programs - Workshop Version. | 0 | 0.34 | 2016 |
