m-hf-c

AI & ML interests

None defined yet.

Recent Activity

mortimerp9  authored a paper about 1 month ago

ARE: Scaling Up Agent Environments and Evaluations

lewtun  authored a paper 5 months ago

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

lewtun  authored a paper 7 months ago

SmolVLM: Redefining small and efficient multimodal models

View all activity

Team members 10