arxiv:2505.02735
ruotian peng
prt66
ยท
AI & ML interests
None yet
Recent Activity
authored
a paper
2 days ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language
Models
updated
a dataset
4 days ago
SphereLab/FormalMATH-All
updated
a dataset
4 days ago
SphereLab/FormalMATH-Lite
Organizations
