✳flâneur — a map of the web's best reading

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

Explore this link on the map →

saved by

related reading