AI4M
university
AI & ML interests
None defined yet.
Recent Activity
Collections
7
-
Salesforce/xlam-function-calling-60k
Viewer • Updated • 60k • 2.88k • 431 -
Jofthomas/hermes-function-calling-thinking-V1
Viewer • Updated • 3.57k • 2.44k • 30 -
AymanTarig/function-calling-v0.2-with-r1-cot
Viewer • Updated • 58k • 502 • 36 -
NousResearch/hermes-function-calling-v1
Viewer • Updated • 11.6k • 2.11k • 279
models
None public yet
datasets
42
pkuAI4M/lean_stage1_rag_have
Viewer
•
Updated
•
311k
•
3
pkuAI4M/s1k
Viewer
•
Updated
•
1k
•
65
pkuAI4M/lean_stage1_rag
Viewer
•
Updated
•
311k
•
40
pkuAI4M/lean_mathlib_rag
Viewer
•
Updated
•
92.2k
•
38
pkuAI4M/RAG_lean_wkbk_6
Viewer
•
Updated
•
25.2k
•
6
pkuAI4M/RAG_lean_github_6
Viewer
•
Updated
•
219k
•
7
pkuAI4M/lean_github
Viewer
•
Updated
•
219k
•
47
pkuAI4M/lean_wkbk
Viewer
•
Updated
•
25.2k
•
39
pkuAI4M/Lean_wkbk_formal_only_1119
Updated
•
6
pkuAI4M/Lean_github_formal_only_1119
Viewer
•
Updated
•
219k
•
47