Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Yong Lin,Shange Tang, Bohan Lyu,Jiayun Wu, Hongzhou Lin,Kaiyu Yang, Jia Li,Mengzhou Xia,Danqi Chen,Sanjeev Arora,Chi Jin

CoRR（2025）

Cited 0|Views4
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined