Grant O. Passmore

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 11

Top Topics

Matrix Representation

Top Venues

Publications

Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant O. Passmore, Guy Katz
A Certified Proof Checker for Deep Neural Network Verification. CoRR (2024)
Grant O. Passmore
ACL2 Proofs of Nonlinear Inequalities with Imandra. CoRR (2023)
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz
Towards a Certified Proof Checker for Deep Neural Network Verification. LOPSTR (2023)
John Hester, Briland Hitaj, Grant O. Passmore, Sam Owre, Natarajan Shankar, Eric Yeh
An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning. CICM (2023)
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya
Towards a Certified Proof Checker for Deep Neural Network Verification. CoRR (2023)
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew Daggit
CheckINN: Wide Range Neural Network Verification in Imandra. PPDP (2022)
Remi Desmartin, Grant O. Passmore, Ekaterina Komendentskaya
Neural Networks in Imandra: Matrix Representation as a Verification Choice. NSV/FoMLAS@CAV (2022)
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt
CheckINN: Wide Range Neural Network Verification in Imandra (Extended). CoRR (2022)
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya
Neural Networks in Imandra: Matrix Representation as a Verification Choice. CoRR (2022)
Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
The Imandra Automated Reasoning System (System Description). IJCAR (2) (2020)
Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger
Compositional Taylor Model Based Validated Integration. SYNASC (2018)