Stanislas Polu

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 8

Top Topics

Theorem Proving

Top Venues

Publications

Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
Formal Mathematics Statement Curriculum Learning. ICLR (2023)
Kunhao Zheng, Jesse Michael Han, Stanislas Polu
miniF2F: a cross-system benchmark for formal Olympiad-level mathematics. ICLR (2022)
Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
Formal Mathematics Statement Curriculum Learning. CoRR (2022)
Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu
Proof Artifact Co-Training for Theorem Proving with Language Models. ICLR (2022)
Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu
Proof Artifact Co-training for Theorem Proving with Language Models. CoRR (2021)
Jesse Michael Han, Igor Babuschkin, Harrison Edwards, Arvind Neelakantan, Tao Xu, Stanislas Polu, Alex Ray, Pranav Shyam, Aditya Ramesh, Alec Radford, Ilya Sutskever
Unsupervised Neural Machine Translation with Generative Language Models Only. CoRR (2021)
Kunhao Zheng, Jesse Michael Han, Stanislas Polu
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics. CoRR (2021)
Stanislas Polu, Ilya Sutskever
Generative Language Modeling for Automated Theorem Proving. CoRR (2020)
Mikhail J. Atallah, Marina Blanton, Michael T. Goodrich, Stanislas Polu
Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric CoRR (2009)
Mikhail J. Atallah, Marina Blanton, Michael T. Goodrich, Stanislas Polu
Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric. WADS (2007)