Sarah M. Loos

According to our database, Sarah M. Loos authored at least 17 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety.

Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer

Int. J. Softw. Tools Technol. Transf., 2021

2020

Mathematical Reasoning in Latent Space.

Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal

Proceedings of the 8th International Conference on Learning Representations, 2020

Graph Representations for Higher-Order Logic and Theorem Proving.

Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Learning to Reason in Large Theories without Imitation.

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy

CoRR, 2019

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version).

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox

CoRR, 2019

HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving.

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox

Proceedings of the 36th International Conference on Machine Learning, 2019

2017

Deep Network Guided Proof Search.

Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk

Proceedings of the LPAR-21, 2017

2016

How to model and prove hybrid systems with KeYmaera: a tutorial on safety.

Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer

Int. J. Softw. Tools Technol. Transf., 2016

Differential Refinement Logic.

Sarah M. Loos, André Platzer

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2013

Efficiency analysis of formally verified adaptive cruise controllers.

Sarah M. Loos, David Witmer, Peter Steenkiste, André Platzer

Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

Formal verification of distributed aircraft controllers.

Sarah M. Loos, David W. Renshaw, André Platzer

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Towards Formal Verification of Freeway Traffic Control.

Stefan Mitsch, Sarah M. Loos, André Platzer

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Using theorem provers to guarantee closed-loop system properties.

Nikos Aréchiga, Sarah M. Loos, André Platzer, Bruce H. Krogh

Proceedings of the American Control Conference, 2012

2011

Safe intersections: At the crossing of hybrid systems and verification.

Sarah M. Loos, André Platzer

Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Distributed Theorem Proving for Distributed Hybrid Systems.

David W. Renshaw, Sarah M. Loos, André Platzer

Proceedings of the Formal Methods and Software Engineering, 2011

Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified.

Sarah M. Loos, André Platzer, Ligia Nistor

Proceedings of the FM 2011: Formal Methods, 2011

Using parameters in architectural views to support heterogeneous design and verification.

Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011