Edward W. Ayers

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 9

Top Topics

Theorem Proving

Neural Network Training

Top Venues

Publications

Wojciech Nawrocki, Edward W. Ayers, Gabriel Ebner
An Extensible User Interface for Lean 4. ITP (2023)
Bartosz Piotrowski, Ramon Fernández Mir, Edward W. Ayers
Machine-Learned Premise Selection for Lean. TABLEAUX (2023)
Bartosz Piotrowski, Ramon Fernández Mir, Edward W. Ayers
Machine-Learned Premise Selection for Lean. CoRR (2023)
Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward W. Ayers, Dragomir Radev, Jeremy Avigad
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics. CoRR (2023)
Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu
Proof Artifact Co-Training for Theorem Proving with Language Models. ICLR (2022)
Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu
Proof Artifact Co-training for Theorem Proving with Language Models. CoRR (2021)
Edward W. Ayers, Mateja Jamnik, William T. Gowers
A Graphical User Interface Framework for Formal Verification. ITP (2021)
Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside
PaRoT: A Practical Framework for Robust Deep Neural Network Training. NFM (2020)
Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside
PaRoT: A Practical Framework for Robust Deep Neural Network Training. CoRR (2020)