Grant Olney Passmore

According to our database, Grant Olney Passmore authored at least 23 papers between 2009 and 2023.

Collaborative distances:

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

2023

ACL2 Proofs of Nonlinear Inequalities with Imandra.

Grant O. Passmore

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning.

John Hester, Briland Hitaj, Grant O. Passmore, Sam Owre, Natarajan Shankar, Eric Yeh

CoRR, 2023

An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning.

John Hester, Briland Hitaj, Grant O. Passmore, Sam Owre, Natarajan Shankar, Eric Yeh

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

Towards a Certified Proof Checker for Deep Neural Network Verification.

Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2022

CheckINN: Wide Range Neural Network Verification in Imandra (Extended).

Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt

CoRR, 2022

CheckINN: Wide Range Neural Network Verification in Imandra.

Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

Neural Networks in Imandra: Matrix Representation as a Verification Choice.

Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms.

Grant Olney Passmore

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

The Imandra Automated Reasoning System (System Description).

Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL.

Wenda Li, Grant Olney Passmore, Lawrence C. Paulson

J. Autom. Reason., 2019

2018

Compositional Taylor Model Based Validated Integration.

Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

2017

Formal Verification of Financial Algorithms.

Grant Olney Passmore, Denis Ignatovich

Proceedings of the Automated Deduction - CADE 26, 2017

2015

A Complete Decision Procedure for Univariate Polynomial Problems in Isabelle/HOL.

Wenda Li, Grant Olney Passmore, Lawrence C. Paulson

CoRR, 2015

Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers.

Grant Olney Passmore

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Collaborative Verification-Driven Engineering of Hybrid Systems.

Stefan Mitsch, Grant Olney Passmore, André Platzer

Math. Comput. Sci., 2014

2013

Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals.

Leonardo Mendonça de Moura, Grant Olney Passmore

Proceedings of the Automated Deduction - CADE-24, 2013

The Strategy Challenge in SMT Solving.

Leonardo Mendonça de Moura, Grant Olney Passmore

Proceedings of the Automated Reasoning and Mathematics, 2013

2012

Impugning Randomness, Convincingly.

Yuri Gurevich, Grant Olney Passmore

Stud Logica, 2012

Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase.

Grant Olney Passmore, Paul B. Jackson

Proceedings of the How the World Computes, 2012

Real Algebraic Strategies for MetiTarski Proofs.

Grant Olney Passmore, Lawrence C. Paulson, Leonardo Mendonça de Moura

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2010

Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops.

Grant Olney Passmore, Leonardo Mendonça de Moura, Paul B. Jackson

Proceedings of the Decision Procedures in Software, Hardware and Bioware, 18.04., 2010

2009

Superfluous S-polynomials in Strategy-Independent Groebner Bases.

Grant Olney Passmore, Leonardo Mendonça de Moura

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

Combined Decision Techniques for the Existential Theory of the Reals.

Grant Olney Passmore, Paul B. Jackson

Proceedings of the Intelligent Computer Mathematics, 2009