Team

  • Riyaz Ahuja - MS/BS/BS in Math/CS at Carnegie Mellon University
  • Jeremy Avigad - Philosophy + Mathematics Professor and director of the Hoskinson Center for Formal Mathematics at Carnegie Mellon University
  • Prasad Tetali - Head of the department of Mathematical Sciences at Carnegie Mellon University
  • Sean Welleck - Assistant Professor of computer science and PI of the L3 Lab at Carnegie Mellon University

Acknowledgements

We would like to thank Kim Morrison for the Training Data repository, which served as a foundational resource for this project. Additionally, we would like to thank the Paperproof team for the Paperproof project, which paved the way for our own prooftree generation and analysis system. Special thanks goes to the L3 Lab, Hoskinson Center for Formal Mathematics, Convergent Research, the Lean FRO, and the OpenAI Researcher Access Program for their support.

Contact

For any questions or inquiries, please contact: