Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2205.12615
Cited By
Autoformalization with Large Language Models
25 May 2022
Yuhuai Wu
Albert Q. Jiang
Wenda Li
M. Rabe
Charles Staats
M. Jamnik
Christian Szegedy
AI4CE
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Autoformalization with Large Language Models"
2 / 2 papers shown
Title
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
Zhouliang Yu
Ruotian Peng
Keyi Ding
Y. K. Li
Zhongyuan Peng
...
Huajian Xin
W. R. Huang
Yandong Wen
Ge Zhang
Weiyang Liu
LRM
15
44
0
05 May 2025
The Pile: An 800GB Dataset of Diverse Text for Language Modeling
Leo Gao
Stella Biderman
Sid Black
Laurence Golding
Travis Hoppe
...
Horace He
Anish Thite
Noa Nabeshima
Shawn Presser
Connor Leahy
AIMat
217
1,508
0
31 Dec 2020
1
