HF CMU Collab

AI & ML interests

None defined yet.

Recent Activity

qgallouedec  submitted a paper 1 day ago

INTELLECT-3: Technical Report

lewtun  authored a paper 8 months ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

lewtun  authored a paper 9 months ago

SmolVLM: Redefining small and efficient multimodal models

View all activity

Team members 7