Jeremy Avigad
Carnegie Mellon University
H-index: 34
North America-United States
Top articles of Jeremy Avigad
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Mathematics and the formal turn | Bulletin of the American Mathematical Society | Jeremy Avigad | 2024 |
Verified Encodings for SAT Solvers | Cayden R Codel Jeremy Avigad Marijn JH Heule | 2023/10/24 | |
A Proof-Producing Compiler for Blockchain Applications | Jeremy Avigad Lior Goldberg David Levit Yoav Seginer Alon Titelman | 2023 | |
What we talk about when we talk about mathematics | Jeremy Avigad | 2023/7/31 | |
Certified knowledge compilation with application to verified model counting | Randal E Bryant Wojciech Nawrocki Jeremy Avigad Marijn JH Heule | 2023 | |
An Impossible Asylum | The American Mathematical Monthly | Jeremy Avigad Seulkee Baek Alexander Bentkamp Marijn Heule Wojciech Nawrocki | 2023/5/28 |
Verified reductions for optimization | Alexander Bentkamp Ramon Fernández Mir Jeremy Avigad | 2023/4/20 | |
Boston, Massachusetts Joint Mathematics Meeting January 6–7, 2023 | The Bulletin of Symbolic Logic | Jeremy Avigad Peter Cholak Franziska Jahnke Sandra Müller Lynn Scow | 2023/12 |
Proofnet: Autoformalizing and formally proving undergraduate-level mathematics | arXiv preprint arXiv:2302.12433 | Zhangir Azerbayev Bartosz Piotrowski Hailey Schoelkopf Edward W Ayers Dragomir Radev | 2023/2/24 |
Two-sorted Frege Arithmetic is not Conservative | The Review of Symbolic Logic | Stephen Mackereth Jeremy Avigad | 2023/12 |
The design of mathematical language | Jeremy Avigad | 2023/1/14 | |
A verified algebraic representation of Cairo program execution | Jeremy Avigad Lior Goldberg David Levit Yoav Seginer Alon Titelman | 2022/1/17 | |
Varieties of mathematical understanding | Bulletin of the American Mathematical Society | Jeremy Avigad | 2022/1 |
Mathematical logic and computation | Jeremy Avigad | 2022/11/24 | |
ProofNet: A benchmark for autoformalizing and formally proving undergraduate-level mathematics problems | Second MATH-AI Workshop | Zhangir Azerbayev Bartosz Piotrowski Jeremy Avigad | 2022/11 |
Seattle, Washington Joint Mathematics Meeting January 7–8, 2022 | The Bulletin of Symbolic Logic | Jeremy Avigad Omer Ben-Neria Peter Cholak Franziska Jahnke Sandra Müller | 2022/9 |
Reliability of mathematical inference | Synthese | Jeremy Avigad | 2021/8 |
Verified Optimization (work in progress) | Alexander Bentkamp Jeremy Avigad Baker Hall | 2021 | |
Verified Optimization | arXiv preprint arXiv:2111.06807 | Alexander Bentkamp Jeremy Avigad | 2021/11/12 |
The promise of formal mathematics | 2023 Joint Mathematics Meetings (JMM 2023) | Jeremy Avigad | 2021/9/21 |