AI4M
university
AI & ML interests
None defined yet.
Recent Activity
Collections
7
-
Salesforce/xlam-function-calling-60k
Viewer • Updated • 60k • 2.99k • 437 -
Jofthomas/hermes-function-calling-thinking-V1
Viewer • Updated • 3.57k • 1.9k • 37 -
AymanTarig/function-calling-v0.2-with-r1-cot
Viewer • Updated • 58k • 483 • 35 -
NousResearch/hermes-function-calling-v1
Viewer • Updated • 11.6k • 2.32k • 286
models
None public yet
datasets
42
pkuAI4M/lean_stage1_rag_have
Viewer
•
Updated
•
311k
•
6
pkuAI4M/s1k
Viewer
•
Updated
•
1k
•
18
pkuAI4M/lean_stage1_rag
Viewer
•
Updated
•
311k
•
15
pkuAI4M/lean_mathlib_rag
Viewer
•
Updated
•
92.2k
•
16
pkuAI4M/RAG_lean_wkbk_6
Viewer
•
Updated
•
25.2k
•
6
pkuAI4M/RAG_lean_github_6
Viewer
•
Updated
•
219k
•
6
pkuAI4M/lean_github
Viewer
•
Updated
•
219k
•
28
pkuAI4M/lean_wkbk
Viewer
•
Updated
•
25.2k
•
20
pkuAI4M/Lean_wkbk_formal_only_1119
Updated
•
5
pkuAI4M/Lean_github_formal_only_1119
Viewer
•
Updated
•
219k
•
19