TheoremGraph: Bridging Formal and Informal Mathematics Paper • 2606.25363 • Published 13 days ago • 12
AI Release Year Thread 2026 Collection AI Release Year Thread 2026 • 25 items • Updated about 5 hours ago • 4
DeepSeek-V4: Towards Highly Efficient Million-Token Context Intelligence Paper • 2606.19348 • Published Apr 26 • 11
Ornith-1.0 Collection Ornith-1.0 is a family of open-source LLMs specialized for agentic coding. • 8 items • Updated 10 days ago • 307