TSR · The desk
Mathematics · 7 October 2026
Articles in this category in 7 October 2026.
TSR Desk · mathematics · 7 October 2026, 01:00 UTC
Cost-Effective Automated Judging of Natural-Language Mathematical ProofsTSR Desk · mathematics · 7 October 2026, 01:00 UTC
Proof-Grounded Patient-Specific Clinical Explanations from Knowledge-Graph Reasoning