math-ai

AI & ML interests

reasoning

Recent Activity

yifAI authored a paper 4 days ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

yifAI new activity 27 days ago

math-ai/AutoMathText:Inquiry About 0-byte Files in data/arxiv/0.90-1.00 Directory

yifAI authored a paper about 2 months ago

On the Design of KL-Regularized Policy Gradient Algorithms for LLM Reasoning

View all activity

math-ai 's datasets 10

math-ai/AutoMathText

Viewer • Updated May 15 • 7.89M • 43.3k • 177

math-ai/olympiadbench

Viewer • Updated May 7 • 674 • 265

math-ai/TemplateGSM

Viewer • Updated Mar 8 • 14.5M • 654 • 16

math-ai/aime25

Viewer • Updated Feb 17 • 30 • 2.61k • 4

math-ai/amc23

Viewer • Updated Feb 16 • 40 • 1.31k • 9

math-ai/StackMathQA

Viewer • Updated Feb 16 • 6.2M • 721 • 89

math-ai/minervamath

Viewer • Updated Feb 15 • 272 • 2.1k • 6

math-ai/math500

Viewer • Updated Feb 12 • 500 • 100 • 1

math-ai/gpqa

Viewer • Updated Feb 12 • 198 • 195

math-ai/aime24

Viewer • Updated Feb 12 • 30 • 584 • 4