Cite
Notes
Only stored in your browser.
Attribution
Formal Mathematics Statement Curriculum Learning
arXiv 2022
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
minif2f-a-cross-system-benchmark-for-formal-1
Proof Artifact Co-training for Theorem Proving with Language Models
proof-artifact-co-training-for-theorem-1
from 3 papers
Stanislas Polu
founder
Kunhao Zheng
Edward W. Ayers
Igor Babuschkin
Ilya Sutskever
co-founder / CEO (SSI)
Jason Rute
Mantas Baksys
Yuhuai Wu