Stanislas Polu
Co-founder of Dust; previously OpenAI researcher (Lean theorem proving, GPT-f); ex-Stripe.
- Role
- founder
- Currently at
- Independent
- twitter.com/spolu
- GitHub
- github.com/spolu
- Scholar
- scholar.google.com/citations
- Papers
- 5
Cite
Notes
Only stored in your browser.
Authored papers
5Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
arXiv 2025
NuminaMath: The Largest Public Dataset in AI4Maths with 860k Pairs of Competition Math Problems and Solutions
blog
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
Affiliations
Previously
Frequent co-authors
10from 5 papers
Jesse Michael Han
Jia Li
researcher
Kunhao Zheng
Lewis Tunstall
engineer
Longhui Yu
researcher
Mantas Baksys
Yann Fleureau
founder
Albert Jiang
researcher
Ben Lipkin
grad-student
Bin Dong
professor