Edward W. Ayers

According to our database, Edward W. Ayers authored at least 7 papers between 2019 and 2023.

Collaborative distances:

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

2023

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.

Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward W. Ayers, Dragomir Radev, Jeremy Avigad

CoRR, 2023

Machine-Learned Premise Selection for Lean.

Bartosz Piotrowski, Ramon Fernández Mir, Edward W. Ayers

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

An Extensible User Interface for Lean 4.

Wojciech Nawrocki, Edward W. Ayers, Gabriel Ebner

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Proof Artifact Co-Training for Theorem Proving with Language Models.

Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

A Graphical User Interface Framework for Formal Verification.

Edward W. Ayers, Mateja Jamnik, William T. Gowers

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

PaRoT: A Practical Framework for Robust Deep Neural Network Training.

Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

A Human-Oriented Term Rewriting System.

Edward William Ayers, William T. Gowers, Mateja Jamnik

Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019