Hugging Face's logo
ruotian peng's picture
2

ruotian peng

prt66
·

AI & ML interests

None yet

Recent Activity

authored a paper about 2 months ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
updated a dataset about 2 months ago
SphereLab/FormalMATH-All
updated a dataset about 2 months ago
SphereLab/FormalMATH-Lite
View all activity

Organizations

Multimodal Art Projection's profile picture MAPLE-WestLake-AIGC's profile picture FormalMATH's profile picture Scalable Principles for Learning and Reasoning (Sphere) Lab's profile picture