Stanislas Polu

1. Generative Language Modeling for Automated Theorem Proving
   2020/09/07 by Stanislas Polu, Ilya Sutskever, Polu, Stanislas +1 · 4 voices · 74 citations
   Computer Science · #Natural Language Processing Techniques #Topic Modeling #Mathematics, Computing, and Information Processing
2. MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
   2021/08/31 by Zheng, Kunhao, Jesse Michael Han, Han, Jesse Michael +2 · 87 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Data Classification #Topic Modeling
3. Formal Mathematics Statement Curriculum Learning
   2022/02/03 by Stanislas Polu, Polu, Stanislas, Jesse Michael Han +9 · 18 citations
   Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Topic Modeling
4. Proof Artifact Co-training for Theorem Proving with Language Models
   2021/02/11 by Jesse Michael Han, Han, Jesse Michael, Jason Rute +7 · 14 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering Research #Topic Modeling