Zhouliang Yu

zhouliang's activity

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

upvoted a paper 9 days ago

CUDA Agent: Large-Scale Agentic RL for High-Performance CUDA Kernel Generation

Paper • 2602.24286 • Published 13 days ago • 85

liked a dataset 10 days ago

BytedTsinghua-SIA/CUDA-Agent-Ops-6K

Viewer • Updated 13 days ago • 6k • 361 • 56

liked a dataset 15 days ago

Goedel-LM/SFT_dataset_v2

Viewer • Updated 10 days ago • 1.75M • 530 • 29

liked 3 datasets 17 days ago

lm-provers/ProofBench

Viewer • Updated Jan 9 • 290 • 213 • 3

AI-MO/NuminaMath-1.5

Viewer • Updated Jan 29 • 896k • 2.6k • 178

AI-MO/aops

Viewer • Updated Dec 12, 2025 • 80.7k • 106 • 3

liked a dataset 22 days ago

lm-provers/FineProofs-SFT

Viewer • Updated 27 days ago • 12.1k • 508 • 38

upvoted a paper 27 days ago

Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL

Paper • 2602.03773 • Published Feb 3 • 12

liked a dataset 30 days ago

FrenzyMath/Herald_proofs

Viewer • Updated May 13, 2025 • 44.6k • 91 • 3

liked 2 datasets about 1 month ago

INSAIT-Institute/OPC

Viewer • Updated Jul 15, 2025 • 4.93k • 107 • 14

wenjiema02/ProofBench

Viewer • Updated Oct 14, 2025 • 899 • 111 • 7

upvoted a paper about 1 month ago

Steering LLMs via Scalable Interactive Oversight

Paper • 2602.04210 • Published Feb 4 • 18

upvoted an article about 1 month ago

view article

Article

What's Automatic Differentiation?

• 

Mar 19, 2024

•

28

liked 2 datasets about 2 months ago

ulamai/UnsolvedMath

Updated Feb 4 • 83 • 23

phanerozoic/Lean4-Mathlib

Viewer • Updated Jan 10 • 193k • 111 • 2

liked a dataset 3 months ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 2.22k • 104

published a dataset 4 months ago

zhouliang/DEMIMathAnalysis

Viewer • Updated Feb 27, 2025 • 88 • 6

upvoted a paper 4 months ago

P1: Mastering Physics Olympiads with Reinforcement Learning

Paper • 2511.13612 • Published Nov 17, 2025 • 134

liked a model 5 months ago

nvidia/OpenMath-Nemotron-1.5B

Text Generation • 2B • Updated Apr 30, 2025 • 3.23k • • 29

authored a paper 5 months ago

SimKO: Simple Pass@K Policy Optimization

Paper • 2510.14807 • Published Oct 16, 2025 • 11