Sensif.aiAI signal desk

VIEWS

Today Stories Radar Briefings Listen Watchlist

Loading…

Today Stories Radar Briefings Listen

DESK

Frontier AI Research Countries Open vs Closed Compute What moved

Loading…

Radar · K2-Horizon-7B | Sensif.ai

Radar · Entity

K2-Horizon-7B

Everything the desk has tracked for this model.

Model

Model releases

No tracked model releases for this entity yet.

Research papers

large language modelsmathematical reasoningpublished Sep 12, 2026 · arXiv:2609.11319

Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification

Recent source items

2 items on this desk · showing the latest 2

Magenta: Closing the Loop Between Mathematical Reasoning and Lean VerificationSep 12, 2026
IFM Releases K2 Horizon: Six Apache 2.0 Models From 0.9B to 375BSep 7, 2026