works on
agentic search 1context management 1information retrieval 1long-horizon tasks 1web browsing agents 1

From the 1 of 14 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2025

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

Yong Lin, Shange Tang, Bohan Lyu +8

We introduce Goedel-Prover, an open-source language model that achieves state-of-the-art (as of April 5 2025) performance in automated formal proof generation for mathematical prob…