Scalable Principles for Learning and Reasoning (Sphere) Lab

SphereLab's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

zhouliang 

updated a collection 5 days ago

Sphere Prover

Collection

The dataset and ckpt in Sphere-Prover-V1: Training LLM-based Prover for Formal Mathematics via Exploration-based Reinforocement Learning • 10 items • Updated 5 days ago

zhouliang 

updated a collection 15 days ago

Sphere Prover

Collection

The dataset and ckpt in Sphere-Prover-V1: Training LLM-based Prover for Formal Mathematics via Exploration-based Reinforocement Learning • 10 items • Updated 5 days ago

haoquan03 

authored a paper about 2 months ago

PyVision: Agentic Vision with Dynamic Tooling

Paper • 2507.07998 • Published Jul 10 • 31

zhouliang 

updated a collection about 2 months ago

Sphere Prover

Collection

The dataset and ckpt in Sphere-Prover-V1: Training LLM-based Prover for Formal Mathematics via Exploration-based Reinforocement Learning • 10 items • Updated 5 days ago

zhouliang 

authored a paper about 2 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Paper • 2507.06181 • Published Jul 8 • 41

zhouliang 

updated a collection about 2 months ago

Sphere Prover

Collection

The dataset and ckpt in Sphere-Prover-V1: Training LLM-based Prover for Formal Mathematics via Exploration-based Reinforocement Learning • 10 items • Updated 5 days ago

wy1iu 

updated a Space 4 months ago

Running

README

🌍

wy1iu 

authored a paper 4 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published May 5 • 32

prt66 

authored a paper 4 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published May 5 • 32

zhouliang 

authored a paper 4 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published May 5 • 32

wy1iu 

published a Space 4 months ago

Running

README

🌍

zhouliang 

published a dataset 4 months ago

SphereLab/FormalMATH-Lite

Viewer • Updated May 4 • 425 • 44 • 2