Informal - a pkuAI4M Collection

Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
- Website
- Community
- Solutions
Log In
Sign Up

pkuAI4M 's Collections

Informal Statements

Informal-Formal

Informal

updated Sep 2, 2024

Informal Datasets

AI-MO/NuminaMath-CoT

Viewer • Updated Nov 25, 2024 • 860k • 58.8k • 585
meta-math/MetaMathQA

Viewer • Updated Dec 21, 2023 • 395k • 61.4k • 457
llllvvuu/AIPS_inequalities

Viewer • Updated Jul 11, 2024 • 383k • 58 • 1
TIGER-Lab/MathInstruct

Viewer • Updated May 15, 2024 • 262k • 6.78k • 303
XinyaoHu/AMPS_mathematica

Viewer • Updated Jul 15, 2024 • 4.83M • 62 • 4
XinyaoHu/AMPS_khan

Viewer • Updated Jul 15, 2024 • 103k • 69 • 2

Collection guide
Browse collections

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs