Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Scalable Principles for Learning and Reasoning (Sphere) Lab
university
Activity Feed
Follow
19
AI & ML interests
None defined yet.
Recent Activity
zhouliang
updated
a model
18 days ago
SphereLab/formal_200k_llamafactory
zhouliang
published
a model
18 days ago
SphereLab/formal_200k_llamafactory
haoquan03
authored
a paper
29 days ago
PyVision: Agentic Vision with Dynamic Tooling
View all activity
Team members
11
SphereLab
's datasets
2
Sort: Recently updated
SphereLab/FormalMATH-All
Viewer
•
Updated
May 4
•
5.56k
•
94
•
7
SphereLab/FormalMATH-Lite
Viewer
•
Updated
May 4
•
425
•
25
•
2