4 citations · 9 across the 13 of their papers we have counts for
1 paper · 2 filters
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…