Informal - a pkuAI4M Collection

Models
Datasets
Spaces
Posts
Docs
Pricing
Log In
Sign Up

pkuAI4M 's Collections

Informal-Formal

Informal

updated Sep 2

Informal Datasets

AI-MO/NuminaMath-CoT

Viewer • Updated Jul 19 • 860k • 2.81k • 205
meta-math/MetaMathQA

Viewer • Updated Dec 21, 2023 • 395k • 5.14k • 326
llllvvuu/AIPS_inequalities

Viewer • Updated Jul 11 • 383k • 109 • 1
TIGER-Lab/MathInstruct

Viewer • Updated May 15 • 262k • 1.61k • 248
XinyaoHu/AMPS_mathematica

Viewer • Updated Jul 15 • 4.83M • 51 • 1
XinyaoHu/AMPS_khan

Viewer • Updated Jul 15 • 103k • 50 • 1

Collection guide
Browse collections

Company

© Hugging Face

TOS Privacy About Jobs

Website

Models Datasets Spaces Pricing Docs