SP
Researcher · Founder · Engineer
Stanislas Polu
DustCo-founder and Software Engineer
Polu co-created GPT-f, a system that used a language model to discover mathematical proofs checked by software. Some of its shorter proofs were accepted into Metamath's public library—the first contribution there from a deep-learning system.
Career & education
Current role
Co-founder and Software Engineer
Stripe
OpenAI
École Polytechnique
Stanford UniversityWork and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Citation Trend
Total citations to scholarly work, including research papers, technical reports, books and theses, as recorded by Google Scholar. Each point is a dated snapshot.
citations2,277As of Jun 15, '26
citations+764Since last snapshot, Aug 25, '25
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.
Reviewed August 8, 2026 · Checked for accuracy and new information.