Scalable Principles for Learning and Reasoning (Sphere) Lab

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

Team members 11