🧑🔬 Stanislas Polu3 papers on this site (2020–2022)OpenAlex · h-index 5 · 9 works · 114 citations (openalex-snapshot, 2026-10-14)Profile data from OpenAlex; authors with the same name are not always told apart.Formal Mathematics Statement Curriculum LearningStanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsKunhao Zheng, Jesse Michael Han, Stanislas Polu2021Generative Language Modeling for Automated Theorem ProvingStanislas Polu, Ilya Sutskever2020This page in Markdown → https://md.research.elamur.ai/free/en/authors/stanislas-polu/