Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

Scalable Principles for Learning and Reasoning (Sphere) Lab

university
Activity Feed

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

Tim Xiao's profile picture Zhouliang Yu's profile picture Yangyi, Huang's profile picture Weiyang Liu's profile picture He Guo's profile picture Longhui Yu's profile picture Zeju Qiu's profile picture ruotian peng's profile picture Dingkeyi's profile picture Kexuan Shi's profile picture Haoquan Zhang's profile picture

SphereLab 's datasets 2

SphereLab/FormalMATH-All

Viewer • Updated May 4 • 5.56k • 94 • 7

SphereLab/FormalMATH-Lite

Viewer • Updated May 4 • 425 • 25 • 2
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs