math-dataset

AI & ML interests

None defined yet.

Recent Activity

yifAI  authored a paper 12 days ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Lewis-Lau  updated a dataset about 2 months ago

math-dataset/DAPO-17k-Eng

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 4