AI4M

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

tonyxty updated a model 8 days ago

pkuAI4M/mathlib_formal_v4.24.0

tonyxty published a model 8 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 8 days ago

pkuAI4M/QwenLeanSFT14B_0330

Text Generation • 15B • Updated Mar 30 • 9

pkuAI4M/QwenLeanSFT_0326

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