AI4M

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

tonyxty updated a model 4 days ago

pkuAI4M/mathlib_formal_v4.24.0

tonyxty published a model 4 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

pkuAI4M 's models 3

pkuAI4M/mathlib_formal_v4.24.0

Updated 4 days ago

pkuAI4M/QwenLeanSFT14B_0330

Text Generation • 15B • Updated Mar 30 • 12

pkuAI4M/QwenLeanSFT_0326

Text Generation • 8B • Updated Mar 26 • 11 • 3