HF IMO colab

Team

community

AI & ML interests

None defined yet.

Recent Activity

lewtun updated a model about 1 hour ago

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

lewtun updated a model about 2 hours 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 3 days ago • 2.73k

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

Text Generation • 4B • Updated 11 days ago • 7.13k • 1