Sarah M. Loos

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