Sarah M. Loos

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 12

Top Topics

Theorem Proving

Graph Representations

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer
Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
Mathematical Reasoning in Latent Space. ICLR (2020)
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
Graph Representations for Higher-Order Logic and Theorem Proving. AAAI (2020)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. ICML (2019)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy
Learning to Reason in Large Theories without Imitation. CoRR (2019)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version). CoRR (2019)
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
Mathematical Reasoning in Latent Space. CoRR (2019)
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
Graph Representations for Higher-Order Logic and Theorem Proving. CoRR (2019)
Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk
Deep Network Guided Proof Search. CoRR (2017)
Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk
Deep Network Guided Proof Search. LPAR (2017)
Sarah M. Loos, André Platzer
Differential Refinement Logic. LICS (2016)
Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer
How to model and prove hybrid systems with KeYmaera: a tutorial on safety. Int. J. Softw. Tools Technol. Transf. 18 (1) (2016)
Sarah M. Loos, David Witmer, Peter Steenkiste, André Platzer
Efficiency analysis of formally verified adaptive cruise controllers. ITSC (2013)
Sarah M. Loos, David W. Renshaw, André Platzer
Formal verification of distributed aircraft controllers. HSCC (2013)
Nikos Aréchiga, Sarah M. Loos, André Platzer, Bruce H. Krogh
Using theorem provers to guarantee closed-loop system properties. ACC (2012)
Stefan Mitsch, Sarah M. Loos, André Platzer
Towards Formal Verification of Freeway Traffic Control. ICCPS (2012)
David W. Renshaw, Sarah M. Loos, André Platzer
Distributed Theorem Proving for Distributed Hybrid Systems. ICFEM (2011)
Sarah M. Loos, André Platzer
Safe intersections: At the crossing of hybrid systems and verification. ITSC (2011)
Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan
Using parameters in architectural views to support heterogeneous design and verification. CDC/ECC (2011)
Sarah M. Loos, André Platzer, Ligia Nistor
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. FM (2011)