default search action

combined dblp search
author search
venue search
publication search

ask others

Sarah M. Loos

> Home > Persons

Person information

affiliation: Google

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/QueselMLAP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/QueselMLAP21
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): 827 (2021)
2020
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/PaliwalLRBS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/PaliwalLRBS20
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy:
Graph Representations for Higher-Order Logic and Theorem Proving. AAAI 2020: 2967-2974
[c12]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/LeeSRLB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/LeeSRLB20
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal:
Mathematical Reasoning in Latent Space. ICLR 2020

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c11]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icml/BansalLRSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/BansalLRSW19
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: 454-463
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-03241
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-03241
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 abs/1904.03241 (2019)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-10006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-10006
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy:
Graph Representations for Higher-Order Logic and Theorem Proving. CoRR abs/1905.10006 (2019)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-10501
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-10501
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy:
Learning to Reason in Large Theories without Imitation. CoRR abs/1905.10501 (2019)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-11851
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-11851
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal:
Mathematical Reasoning in Latent Space. CoRR abs/1909.11851 (2019)
2017
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/LoosISK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/LoosISK17
Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk:
Deep Network Guided Proof Search. LPAR 2017: 85-105
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LoosISK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LoosISK17
Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk:
Deep Network Guided Proof Search. CoRR abs/1701.06972 (2017)
2016
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/QueselMLAP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/QueselMLAP16
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): 67-91 (2016)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/LoosP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/LoosP16
Sarah M. Loos, André Platzer:
Differential Refinement Logic. LICS 2016: 505-514
2013
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LoosRP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LoosRP13
Sarah M. Loos, David W. Renshaw, André Platzer:
Formal verification of distributed aircraft controllers. HSCC 2013: 125-130
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/LoosWSP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/LoosWSP13
Sarah M. Loos, David Witmer, Peter Steenkiste, André Platzer:
Efficiency analysis of formally verified adaptive cruise controllers. ITSC 2013: 1565-1570
2012
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/ArechigaLPK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/ArechigaLPK12
Nikos Aréchiga, Sarah M. Loos, André Platzer, Bruce H. Krogh:
Using theorem provers to guarantee closed-loop system properties. ACC 2012: 3573-3580
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/MitschLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/MitschLP12
Stefan Mitsch, Sarah M. Loos, André Platzer:
Towards Formal Verification of Freeway Traffic Control. ICCPS 2012: 171-180
2011
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/RajhansBLKPG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/RajhansBLKPG11
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: 2705-2710
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LoosPN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LoosPN11
Sarah M. Loos, André Platzer, Ligia Nistor:
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. FM 2011: 42-56
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/RenshawLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/RenshawLP11
David W. Renshaw, Sarah M. Loos, André Platzer:
Distributed Theorem Proving for Distributed Hybrid Systems. ICFEM 2011: 356-371
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/LoosP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/LoosP11
Sarah M. Loos, André Platzer:
Safe intersections: At the crossing of hybrid systems and verification. ITSC 2011: 1181-1186

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.