Stanislas Polu
Publications by Year
Research Areas
Topic Modeling, Natural Language Processing Techniques, Computational Geometry and Mesh Generation, Algorithms and Data Compression, Mathematics, Computing, and Information Processing
Most-Cited Works
- → Generative Language Modeling for Automated Theorem Proving(2020)44 cited
- → Formal Mathematics Statement Curriculum Learning(2022)24 cited
- → Unsupervised Neural Machine Translation with Generative Language Models Only(2021)10 cited
- The Stellar Consensus Protocol (SCP)(2018)
- → Proof Artifact Co-training for Theorem Proving with Language Models(2021)6 cited
- → Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric(2007)
- → Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning(2025)