Informal - a pkuAI4M Collection

Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
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 • 5.06k • 330
meta-math/MetaMathQA

Viewer • Updated Dec 21, 2023 • 395k • 6.41k • 351
llllvvuu/AIPS_inequalities

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

Viewer • Updated May 15, 2024 • 262k • 3.95k • 264
XinyaoHu/AMPS_mathematica

Viewer • Updated Jul 15, 2024 • 4.83M • 41 • 1
XinyaoHu/AMPS_khan

Viewer • Updated Jul 15, 2024 • 103k • 47 • 1

Collection guide
Browse collections

Company

TOS Privacy About Jobs

Website

Models Datasets Spaces Pricing Docs