Zhouliang Yu

zhouliang's activity

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

liked a dataset 2 days ago

INSAIT-Institute/OPC

Viewer • Updated Jul 15, 2025 • 4.93k • 113 • 13

liked a dataset 3 days ago

wenjiema02/ProofBench

Viewer • Updated Oct 14, 2025 • 899 • 148 • 5

upvoted a paper 5 days ago

Steering LLMs via Scalable Interactive Oversight

Paper • 2602.04210 • Published 7 days ago • 17

upvoted an article 6 days ago

view article

Article

What's Automatic Differentiation?

• 

Mar 19, 2024

•

27

liked a dataset 17 days ago

ulamai/UnsolvedMath

Updated 6 days ago • 123 • 23

liked a dataset 18 days ago

phanerozoic/Lean4-Mathlib

Viewer • Updated Jan 10 • 193k • 16 • 1

liked a dataset about 2 months ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 518 • 102

published a dataset 3 months ago

zhouliang/DEMIMathAnalysis

Viewer • Updated Feb 27, 2025 • 88

upvoted a paper 3 months ago

P1: Mastering Physics Olympiads with Reinforcement Learning

Paper • 2511.13612 • Published Nov 17, 2025 • 134

liked a model 4 months ago

nvidia/OpenMath-Nemotron-1.5B

Text Generation • 2B • Updated Apr 30, 2025 • 4.27k • • 28

authored a paper 4 months ago

SimKO: Simple Pass@K Policy Optimization

Paper • 2510.14807 • Published Oct 16, 2025 • 11

upvoted a paper 4 months ago

SimKO: Simple Pass@K Policy Optimization

Paper • 2510.14807 • Published Oct 16, 2025 • 11

liked a dataset 4 months ago

hkust-nlp/CodeIO-PyEdu-Reasoning

Preview • Updated Jun 18, 2025 • 26 • 56

liked a model 4 months ago

nvidia/NVIDIA-Nemotron-Nano-9B-v2-Base

Text Generation • 9B • Updated Nov 4, 2025 • 107k • 43

upvoted a paper 4 months ago

BroRL: Scaling Reinforcement Learning via Broadened Exploration

Paper • 2510.01180 • Published Oct 1, 2025 • 19

liked a model 4 months ago

nvidia/Nemotron-H-8B-Base-8K

Text Generation • 8B • Updated Aug 21, 2025 • 12.1k • 54

upvoted a paper 5 months ago

Symbolic Graphics Programming with Large Language Models

Paper • 2509.05208 • Published Sep 5, 2025 • 47

updated a collection 6 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 Aug 21, 2025