2009.03393
arxiv.org · 10,217 words · saved by 1 readers
N/A
# link_jmuraqk3v0.pdf ## Metadata - PDFFormatVersion=1.5 - IsLinearized=false - IsAcroFormPresent=false - IsXFAPresent=false - IsCollectionPresent=false - IsSignaturesPresent=false - CreationDate=D:20200909004352Z - Creator=LaTeX with hyperref package - ModDate=D:20200909004352Z - Custom.PTEX.Fullbanner=This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) kpathsea version 6.2.2 - Producer=pdfTeX-1.40.17 - Trapped=False ## Contents ### Page 1 Generative Language Modeling for Automated Theorem ProvingStanislas PoluOpenAIspolu@openai.comIlya SutskeverOpenAIilyasu@openai.comAbstractWe
saved by
related reading
- A Mathematical Framework for Transformer Circuitstransformer-circuits.pub
- [2201.11903] Chain of Thought Prompting Elicits Reasoning in Large Language Modelsarxiv.org
- 2310.10631arxiv.org
- 2510.01346arxiv.org
- the-illusion-of-thinking.pdfml-site.cdn-apple.com
- Reasoning Models Reason Well, Until They Don'tarxiv.org
- [2502.00212] STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Provingarxiv.org
- pdfopenreview.net
- pdfopenreview.net
- 2409.02908arxiv.org
- [2510.01346] Aristotle: IMO-level Automated Theorem Provingarxiv.org
- The Unreasonable Effectiveness of LLMs in Mathematicschrishayduk.com