Stanislas Polu

According to our database, Stanislas Polu authored at least 6 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Formal Mathematics Statement Curriculum Learning.

Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

miniF2F: a cross-system benchmark for formal Olympiad-level mathematics.

Kunhao Zheng, Jesse Michael Han, Stanislas Polu

Proceedings of the Tenth International Conference on Learning Representations, 2022

Proof Artifact Co-Training for Theorem Proving with Language Models.

Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Unsupervised Neural Machine Translation with Generative Language Models Only.

Jesse Michael Han, Igor Babuschkin, Harrison Edwards, Arvind Neelakantan, Tao Xu, Stanislas Polu, Alex Ray, Pranav Shyam, Aditya Ramesh, Alec Radford, Ilya Sutskever

CoRR, 2021

2020

Generative Language Modeling for Automated Theorem Proving.

Stanislas Polu, Ilya Sutskever

CoRR, 2020

2007

Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric.

Mikhail J. Atallah, Marina Blanton, Michael T. Goodrich, Stanislas Polu

Proceedings of the Algorithms and Data Structures, 10th International Workshop, 2007