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

models 1

math-dataset/DeepSeek-R1-Distill-Qwen-1.5B-V2

Text Generation • 2B • Updated Apr 14 • 5

datasets 4

math-dataset/DAPO-17k-Eng

Viewer • Updated May 27 • 1.39M • 80 • 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 • 32