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

Team members 2