HF IMO colab

Team

community

AI & ML interests

None defined yet.

Recent Activity

lewtun updated a model 5 minutes ago

hf-imo-colab/Qwen3-4B-Thinking-2507-Proof

lewtun updated a model 11 minutes ago

hf-imo-colab/Qwen3-4B-Thinking-2507-Proof

lewtun authored a paper 8 months ago

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

View all activity

hf-imo-colab 's models 2

hf-imo-colab/Qwen3-4B-Thinking-2507-SFT

Text Generation • 4B • Updated 1 day ago • 1.97k

hf-imo-colab/Qwen3-4B-Thinking-2507-Proof

Text Generation • 4B • Updated 6 days ago • 4.27k • 1