Zhouliang Yu

zhouliang's activity

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

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

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

liked a model 19 days ago

openai/gpt-oss-20b

Text Generation • 22B • Updated 12 days ago • 7.05M • • 3.26k

liked a dataset 23 days ago

AI-MO/NuminaMath-LEAN

Viewer • Updated 25 days ago • 104k • 1.56k • 38

liked 2 models about 1 month ago

laion/CLIP-ViT-H-14-laion2B-s32B-b79K

Zero-Shot Image Classification • 1.0B • Updated Jan 22 • 1.02M • 404

Qwen/Qwen3-8B

Text Generation • 8B • Updated about 1 month ago • 4.92M • • 558

upvoted an article about 2 months ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

By and 17 others •

Jul 10

• 48

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

authored a paper about 2 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Paper • 2507.06181 • Published Jul 8 • 41

upvoted a paper about 2 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Paper • 2507.06181 • Published Jul 8 • 41

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

upvoted a paper 2 months ago

Reparameterized LLM Training via Orthogonal Equivalence Transformation

Paper • 2506.08001 • Published Jun 9 • 4