Grant O. Passmore

16 papers B 1C 4Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
A Certified Proof Checker for Deep Neural Network Verification in Imandra.
ITP
Remi Desmartin, Omri Isac, Grant O. Passmore, Ekaterina Komendantskaya, Kathrin Stark, Guy Katz
2024 J jnl
A Certified Proof Checker for Deep Neural Network Verification.
CoRR
Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant O. Passmore, Guy Katz
2023 — conf
ACL2 Proofs of Nonlinear Inequalities with Imandra.
ACL2
Grant O. Passmore
2023 C conf
An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning.
CICM
John Hester, Briland Hitaj, Grant O. Passmore, Sam Owre, Natarajan Shankar, Eric Yeh
2023 J jnl
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning.
CoRR
John Hester, Briland Hitaj, Grant O. Passmore, Sam Owre, Natarajan Shankar, Eric Yeh
2023 C conf
Towards a Certified Proof Checker for Deep Neural Network Verification.
LOPSTR
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz
2023 J jnl
Towards a Certified Proof Checker for Deep Neural Network Verification.
CoRR
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya
2022 J jnl
CheckINN: Wide Range Neural Network Verification in Imandra (Extended).
CoRR
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt
2022 C conf
CheckINN: Wide Range Neural Network Verification in Imandra.
PPDP
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt
2022 — conf
Neural Networks in Imandra: Matrix Representation as a Verification Choice.
NSV/FoMLAS@CAV
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya
2022 J jnl
Neural Networks in Imandra: Matrix Representation as a Verification Choice.
CoRR
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya
2020 — ed.
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, Worldwide, Planet Earth, May 28-29, 2020.
ACL2
Grant O. Passmore, Ruben Gamboa
2020 — conf
The Imandra Automated Reasoning System (System Description).
IJCAR (2)
Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
2019 — ed.
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018.
CICM Workshops
Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács
2018 Misc conf
Compositional Taylor Model Based Validated Integration.
SYNASC
Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger
2018 C ed.
Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
CICM
Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef