Zekun Moore Wang
ZenMoore
AI & ML interests
Large Language Models.
Recent Activity
upvoted
a
paper
2 months ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
upvoted
a
paper
3 months ago
CMI-Bench: A Comprehensive Benchmark for Evaluating Music Instruction
Following