Views
No views yet
1@misc{lin2025goedelproverfrontiermodelopensource,
2 title={Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving},
3 author={Yong Lin and Shange Tang and Bohan Lyu and Jiayun Wu and Hongzhou Lin and Kaiyu Yang and Jia Li and Mengzhou Xia and Danqi Chen and Sanjeev Arora and Chi Jin},
4 year={2025},
5 eprint={2502.07640},
6 archivePrefix={arXiv},
7 primaryClass={cs.LG},
8 url={https://arxiv.org/abs/2502.07640},
9}