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

AI4M

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

pkuAI4M 's collections 7

nvidia/Llama-Nemotron-Post-Training-Dataset

Viewer • Updated May 8, 2025 • 3.91M • 6.62k • 721

Informal Statements

TIGER-Lab/WebInstructSub

Viewer • Updated Oct 27, 2024 • 2.34M • 6.53k • 173
project-numina/NuminaMath-CoT

Viewer • Updated Nov 25, 2024 • 860k • 173k • 619

l3lab/ntp-mathlib-instruct-st

Viewer • Updated Sep 6, 2024 • 307k • 129
casey-martin/multilingual-mathematical-autoformalization

Viewer • Updated Dec 2, 2023 • 666k • 235 • 5
elohn/miniCodeProps

Updated Aug 19, 2024 • 158 • 2
allanjie/mma

Viewer • Updated Aug 9, 2024 • 333k • 49

ajibawa-2023/Maths-College

Viewer • Updated May 8, 2024 • 970k • 382 • 54

Salesforce/xlam-function-calling-60k

Viewer • Updated Jan 24, 2025 • 60k • 16.4k • 752
Jofthomas/hermes-function-calling-thinking-V1

Viewer • Updated Feb 16, 2025 • 3.57k • 1.05k • 80
AymanTarig/function-calling-v0.2-with-r1-cot

Viewer • Updated Feb 3, 2025 • 58k • 624 • 46
NousResearch/hermes-function-calling-v1

Viewer • Updated Jan 3 • 11.6k • 45.4k • 509

Informal Datasets

project-numina/NuminaMath-CoT

Viewer • Updated Nov 25, 2024 • 860k • 173k • 619
meta-math/MetaMathQA

Viewer • Updated Dec 21, 2023 • 395k • 66.4k • 491
llllvvuu/AIPS_inequalities

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

Viewer • Updated May 15, 2024 • 262k • 11.9k • 320

Informal-Formal

AI4M/mma-dataset

Viewer • Updated Mar 6, 2024 • 88.5k • 56 • 1
AI4M/leandojo-informalized

Viewer • Updated May 30, 2024 • 31.1k • 19 • 1
Inuyasha2023ch/LeanStatement

Viewer • Updated Sep 1, 2024 • 90.9k • 9 • 2
internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 2.92k • 61

nvidia/Llama-Nemotron-Post-Training-Dataset

Viewer • Updated May 8, 2025 • 3.91M • 6.62k • 721

Salesforce/xlam-function-calling-60k

Viewer • Updated Jan 24, 2025 • 60k • 16.4k • 752
Jofthomas/hermes-function-calling-thinking-V1

Viewer • Updated Feb 16, 2025 • 3.57k • 1.05k • 80
AymanTarig/function-calling-v0.2-with-r1-cot

Viewer • Updated Feb 3, 2025 • 58k • 624 • 46
NousResearch/hermes-function-calling-v1

Viewer • Updated Jan 3 • 11.6k • 45.4k • 509

Informal Statements

TIGER-Lab/WebInstructSub

Viewer • Updated Oct 27, 2024 • 2.34M • 6.53k • 173
project-numina/NuminaMath-CoT

Viewer • Updated Nov 25, 2024 • 860k • 173k • 619

Informal Datasets

project-numina/NuminaMath-CoT

Viewer • Updated Nov 25, 2024 • 860k • 173k • 619
meta-math/MetaMathQA

Viewer • Updated Dec 21, 2023 • 395k • 66.4k • 491
llllvvuu/AIPS_inequalities

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

Viewer • Updated May 15, 2024 • 262k • 11.9k • 320

l3lab/ntp-mathlib-instruct-st

Viewer • Updated Sep 6, 2024 • 307k • 129
casey-martin/multilingual-mathematical-autoformalization

Viewer • Updated Dec 2, 2023 • 666k • 235 • 5
elohn/miniCodeProps

Updated Aug 19, 2024 • 158 • 2
allanjie/mma

Viewer • Updated Aug 9, 2024 • 333k • 49

Informal-Formal

AI4M/mma-dataset

Viewer • Updated Mar 6, 2024 • 88.5k • 56 • 1
AI4M/leandojo-informalized

Viewer • Updated May 30, 2024 • 31.1k • 19 • 1
Inuyasha2023ch/LeanStatement

Viewer • Updated Sep 1, 2024 • 90.9k • 9 • 2
internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 2.92k • 61

ajibawa-2023/Maths-College

Viewer • Updated May 8, 2024 • 970k • 382 • 54

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs