CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
Paper
•
2507.06181
•
Published
•
45
Catill Zhang
Catill520
AI & ML interests
NLP
Agents
Recent Activity
upvoted
a
paper
about 2 months ago
From Code Foundation Models to Agents and Applications: A Practical Guide to Code Intelligence
upvoted
a
paper
3 months ago
IGGT: Instance-Grounded Geometry Transformer for Semantic 3D
Reconstruction
upvoted
a
paper
4 months ago
Visual Jigsaw Post-Training Improves MLLMs
Organizations
authored
2
papers
5 months ago