FormalMATH

AI & ML interests

None defined yet.

Recent Activity

zhouliang  authored a paper about 1 month ago

SimKO: Simple Pass@K Policy Optimization

zhouliang  authored a paper 5 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

prt66  authored a paper 7 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

View all activity

Team members 3