AI4M

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

tonyxty updated a model 13 days ago

pkuAI4M/mathlib_formal_v4.24.0

tonyxty published a model 13 days ago

pkuAI4M/mathlib_formal_v4.24.0

LiqingRuan authored a paper 3 months ago

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

View all activity

Collections 7

View 7 collections

models 3

datasets 42

pkuAI4M/lean_stage1_rag_have

Viewer • Updated Feb 15, 2025 • 311k • 6

pkuAI4M/s1k

Viewer • Updated Feb 8, 2025 • 1k • 25

pkuAI4M/lean_stage1_rag

Viewer • Updated Jan 6, 2025 • 311k • 14

pkuAI4M/lean_mathlib_rag

Viewer • Updated Jan 6, 2025 • 92.2k • 13

pkuAI4M/RAG_lean_wkbk_6

Viewer • Updated Nov 23, 2024 • 25.2k • 6

pkuAI4M/RAG_lean_github_6

Viewer • Updated Nov 23, 2024 • 219k • 7

pkuAI4M/lean_github

Viewer • Updated Nov 22, 2024 • 219k • 25

pkuAI4M/lean_wkbk

Viewer • Updated Nov 22, 2024 • 25.2k • 26

pkuAI4M/Lean_wkbk_formal_only_1119

Updated Nov 22, 2024 • 4

pkuAI4M/Lean_github_formal_only_1119

Viewer • Updated Nov 22, 2024 • 219k • 21

View 42 datasets

AI4M

AI & ML interests

Recent Activity

Collections 7

nvidia/Llama-Nemotron-Post-Training-Dataset

Salesforce/xlam-function-calling-60k

Jofthomas/hermes-function-calling-thinking-V1

AymanTarig/function-calling-v0.2-with-r1-cot

NousResearch/hermes-function-calling-v1

nvidia/Llama-Nemotron-Post-Training-Dataset

Salesforce/xlam-function-calling-60k

Jofthomas/hermes-function-calling-thinking-V1

AymanTarig/function-calling-v0.2-with-r1-cot

NousResearch/hermes-function-calling-v1

models 3

pkuAI4M/mathlib_formal_v4.24.0

pkuAI4M/QwenLeanSFT14B_0330

pkuAI4M/QwenLeanSFT_0326

datasets 42

pkuAI4M/lean_stage1_rag_have

pkuAI4M/s1k

pkuAI4M/lean_stage1_rag

pkuAI4M/lean_mathlib_rag

pkuAI4M/RAG_lean_wkbk_6

pkuAI4M/RAG_lean_github_6

pkuAI4M/lean_github

pkuAI4M/lean_wkbk

pkuAI4M/Lean_wkbk_formal_only_1119

pkuAI4M/Lean_github_formal_only_1119

AI & ML interests

Recent Activity

Team members 16

Collections 7

models 3 Sort: Recently updated

datasets 42 Sort: Recently updated

🎉 Free Image Generator Now Available!

models 3

datasets 42