math-dataset

AI & ML interests

None defined yet.

Recent Activity

yifAI authored a paper 13 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

math-dataset 's datasets 4

math-dataset/DAPO-17k-Eng

Viewer • Updated May 27 • 1.39M • 78 • 1

math-dataset/LIMR

Viewer • Updated Feb 19 • 1.39k • 23

math-dataset/LIMO

Viewer • Updated Feb 15 • 817 • 20

math-dataset/DeepScaleR-Preview-Dataset

Viewer • Updated Feb 15 • 40.3k • 29