Hugging Face's logo

Scalable Principles for Learning and Reasoning (Sphere) Lab
university
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

wy1iu  updated a Space about 2 months ago
SphereLab/README
wy1iu  authored a paper about 2 months ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
prt66  authored a paper about 2 months ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
View all activity

SphereLab 's datasets 2