TSR · The desk

Mathematics · 26 October 2026

Articles in this category in 26 October 2026.

• TSR Desk · mathematics · 26 October 2026, 07:00 UTC

  SemantEq: Faithful Bidirectional Equivalence of Formal Statements

• TSR Desk · mathematics · 26 October 2026, 07:00 UTC

  MBABench-2.0: Evaluating AI Agents on Constructing Financial Spreadsheets Beyond Simple