Stanislas Polu

11 papers A* 3B 1Journal 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.
CoRR
Haiming Wang, Mert Unsal, Xiaohan Lin, Mantas Baksys, Junqi Liu, Marco Dos Santos, Flood Sung, Marina Vinyes, Zhenzhe Ying, Zekai Zhu, Jianqiao Lu, Hugues de Saxcé, Bolton Bailey, Chendong Song, Chenjun Xiao, Dehao Zhang, Ebony Zhang, Frederick Pu, Han Zhu, Jiawei Liu, Jonas Bayer, Julien Michel, Longhui Yu, Léo Dreyfus-Schmidt, Lewis Tunstall, Luigi Pagani, Moreira Machado, Pauline Bourigault, Ran Wang, Stanislas Polu, Thibaut Barroyer, Wen-Ding Li, Yazhe Niu, Yann Fleureau, Yangyang Hu, Zhouliang Yu, Zihan Wang, Zhilin Yang, Zhengying Liu, Jia Li
2023 A* conf
Formal Mathematics Statement Curriculum Learning.
ICLR
Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
2022 J jnl
Formal Mathematics Statement Curriculum Learning.
CoRR
Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
2022 A* conf
Proof Artifact Co-Training for Theorem Proving with Language Models.
ICLR
Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu
2022 A* conf
miniF2F: a cross-system benchmark for formal Olympiad-level mathematics.
ICLR
Kunhao Zheng, Jesse Michael Han, Stanislas Polu
2021 J jnl
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics.
CoRR
Kunhao Zheng, Jesse Michael Han, Stanislas Polu
2021 J jnl
Proof Artifact Co-training for Theorem Proving with Language Models.
CoRR
Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu
2021 J jnl
Unsupervised Neural Machine Translation with Generative Language Models Only.
CoRR
Jesse Michael Han, Igor Babuschkin, Harrison Edwards, Arvind Neelakantan, Tao Xu, Stanislas Polu, Alex Ray, Pranav Shyam, Aditya Ramesh, Alec Radford, Ilya Sutskever
2020 J jnl
Generative Language Modeling for Automated Theorem Proving.
CoRR
Stanislas Polu, Ilya Sutskever
2009 J jnl
Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric
CoRR
Mikhail J. Atallah, Marina Blanton, Michael T. Goodrich, Stanislas Polu
2007 B conf
Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric.
WADS
Mikhail J. Atallah, Marina Blanton, Michael T. Goodrich, Stanislas Polu