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.8k • 205
meta-math/MetaMathQA

Viewer • Updated Dec 21, 2023 • 395k • 4.86k • 325
llllvvuu/AIPS_inequalities

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

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

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

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

Collection guide
Browse collections

Company

© Hugging Face

TOS Privacy About Jobs

Website

Models Datasets Spaces Pricing Docs