CUHK SphereLab

university

https://spherelab.ai/

https://github.com/Sphere-AI-Lab

AI & ML interests

None defined yet.

Recent Activity

haoquan03 updated a collection 1 day ago

haoquan03 updated a collection 1 day ago

haoquan03 updated a dataset 1 day ago

SphereLab/SGP-CompBench

View all activity

haoquan03

updated a collection 1 day ago

SGP-Generation

Symbolic Graphic Programming with Large Language Model • 3 items • Updated 1 day ago • 1

haoquan03

updated a dataset 1 day ago

SphereLab/SGP-CompBench

Viewer • Updated 1 day ago • 3.2k • 16

haoquan03

published a dataset 1 day ago

SphereLab/SGP-CompBench

Viewer • Updated 1 day ago • 3.2k • 16

haoquan03

updated a dataset 1 day ago

SphereLab/SGP-Object

Viewer • Updated 1 day ago • 930 • 17

haoquan03

updated a collection 1 day ago

SGP-Generation

Symbolic Graphic Programming with Large Language Model • 3 items • Updated 1 day ago • 1

haoquan03

published a dataset 1 day ago

SphereLab/SGP-Object

Viewer • Updated 1 day ago • 930 • 17

wy1iu

updated a Space 4 days ago

README

zhouliang

updated a collection 14 days ago

Sphere Prover

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

zhouliang

updated a collection 25 days ago

Sphere Prover

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

haoquan03

authored a paper about 2 months ago

PyVision: Agentic Vision with Dynamic Tooling

Paper • 2507.07998 • Published Jul 10 • 31

zhouliang

authored a paper about 2 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Paper • 2507.06181 • Published Jul 8 • 42

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