AI4M

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

tonyxty updated a model about 2 months ago

pkuAI4M/mathlib_formal_v4.24.0

tonyxty published a model about 2 months ago

pkuAI4M/mathlib_formal_v4.24.0

LiqingRuan authored a paper 5 months ago

MiniCPM-V 4.5: Cooking Efficient MLLMs via Architecture, Data, and Training Recipe

View all activity

pkuAI4M 's datasets 42

pkuAI4M/informal_mathlib_watch

Viewer • Updated Sep 5, 2024 • 100 • 2

pkuAI4M/options_theorem_tagged

Viewer • Updated Sep 4, 2024 • 290k • 1

pkuAI4M/minif2f-lean4-normalized

Viewer • Updated Sep 4, 2024 • 488 • 8 • 4

pkuAI4M/algebra_exercises_v4_11_0_filtered

Viewer • Updated Sep 3, 2024 • 1.6k • 1

pkuAI4M/LeanWorkbook

Viewer • Updated Sep 3, 2024 • 140k • 29

pkuAI4M/Lean-Github-Big

Viewer • Updated Sep 2, 2024 • 73.9k

pkuAI4M/AOPS

Viewer • Updated Sep 2, 2024 • 3.89k • 14 • 2

pkuAI4M/test_extract_mathlib_notype

Viewer • Updated Sep 2, 2024 • 2.83M • 1

pkuAI4M/options_theorems_def_v1_tagged

Viewer • Updated Sep 1, 2024 • 78.8k • 1

pkuAI4M/options_theorems_v1

Viewer • Updated Aug 25, 2024 • 290k • 1

pkuAI4M/Extracted_QA_ann0813_en

Viewer • Updated Aug 18, 2024 • 105k • 1

pkuAI4M/threom_chunk_en_0813

Viewer • Updated Aug 13, 2024 • 110k • 1