Sarah M. Loos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2011–2020
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | AAAI | Graph Representations for Higher-Order Logic and Theorem Proving. | Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy |
| 2020 | ICLR | Mathematical Reasoning in Latent Space. | Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal |
| 2019 | ICML | HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. | Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox |
| 2017 | LPAR | Deep Network Guided Proof Search. | Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk |
| 2016 | LICS | Differential Refinement Logic. | Sarah M. Loos, Andr Platzer |
| 2011 | FM | Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. | Sarah M. Loos, Andr Platzer, Ligia Nistor |
| 2011 | ICFEM | Distributed Theorem Proving for Distributed Hybrid Systems. | David W. Renshaw, Sarah M. Loos, Andr Platzer |