FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
Paper
•
2505.02735
•
Published
•
32
•
1
Zhouliang Yu
zhouliang
AI & ML interests
Model-Based AI, Reinforcement Learning, Autoformalization
Recent Activity
authored
a paper
about 22 hours ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
upvoted
a
paper
1 day ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
updated
a collection
6 days ago
Sphere Prover
Organizations
commented
a
paper
2 months ago