arxiv:2504.05535
Zekun Moore Wang
ZenMoore
AI & ML interests
Large Language Models.
Recent Activity
upvoted
a
paper
20 days ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
upvoted
a
paper
about 1 month ago
CMI-Bench: A Comprehensive Benchmark for Evaluating Music Instruction
Following
upvoted
a
paper
about 1 month ago
Scaling Test-time Compute for LLM Agents
Organizations
