TSR · The desk
Mathematics · 9 October 2026
Articles in this category in 9 October 2026.
TSR Desk · mathematics · 9 October 2026, 01:00 UTC
Cost-Efficient Theorem Proving via Agent Orchestration in Program VerificationTSR Desk · mathematics · 9 October 2026, 01:00 UTC
Composing What Each Teacher Learned: Multi-Teacher On-Policy Distillation through