TSR · The desk
Mathematics
Articles in this category.
TSR Desk · mathematics · 26 October 2026, 07:00 UTC
SemantEq: Faithful Bidirectional Equivalence of Formal StatementsTSR Desk · mathematics · 26 October 2026, 07:00 UTC
MBABench-2.0: Evaluating AI Agents on Constructing Financial Spreadsheets Beyond SimpleTSR Desk · mathematics · 23 October 2026, 01:00 UTC
SkillEval: Learning Interpretable Ability Profiles of LLMs via Cognitive Diagnosis ModelsTSR Desk · mathematics · 23 October 2026, 01:00 UTC
From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic MathematicalTSR Desk · mathematics · 22 October 2026, 01:00 UTC
Benchmarking Arabic Dialects for Math ProblemsTSR Desk · mathematics · 20 October 2026, 07:00 UTC
Trust the Edge, Doubt the Arrow: Auditing Validation Signals for Text-Mined Clinical CausalTSR Desk · mathematics · 20 October 2026, 07:00 UTC
Measurement Validity and Representation Dynamics of Confidence Signals in Large Language ModelsTSR Desk · mathematics · 18 October 2026, 01:00 UTC
Prism-1: Position- and Rival-Independent Scoring for System One ModelsTSR Desk · mathematics · 18 October 2026, 01:00 UTC
Circuit Claims Depend on What Is Extracted and How It Is ComparedTSR Desk · mathematics · 13 October 2026, 01:00 UTC
Solving VeriContest with a Lean-Backed Rust VerifierTSR Desk · mathematics · 11 October 2026, 01:00 UTC
OpenProblemBench: Benchmarking AI on Open Problems in the Foundational Theoretical SciencesTSR 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 throughTSR Desk · mathematics · 8 October 2026, 01:00 UTC
You Changed Your Mind, The Model Didn't: Demystifying Intent in Multi-Turn DialogueTSR 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 ReasoningTSR Desk · mathematics · 6 October 2026, 01:00 UTC
Verifiable, Articulable, and Tacit Components of PreferenceTSR Desk · mathematics · 3 October 2026, 01:00 UTC
G\"odel's and Scott's Variants of the Ontological Argument in Lean 4 and TPTP THFTSR Desk · mathematics · 2 October 2026, 01:00 UTC
From Verification Failures to Reusable Guidance for Coding AgentsTSR Desk · mathematics · 1 October 2026, 01:00 UTC
Draft in Parallel, Condition Through Depth: Adjacent Causal Injection for Speculative DecodingTSR Desk · mathematics · 30 September 2026, 01:00 UTC
COUNTERMEM: World-Model Verified Counter-Factual Memory for Language AgentsTSR Desk · mathematics · 30 September 2026, 01:00 UTC
From Reasoning to Generalization: Knowledge-Augmented LLMs for ARC BenchmarkTSR Desk · mathematics · 29 September 2026, 01:00 UTC
Evaluation is All You Need: Strategic Overclaiming of LLM Reasoning Capabilities ThroughTSR Desk · mathematics · 26 September 2026, 01:00 UTC
Reinforcement Learning with Verifiable Rewards for Small Search AgentsTSR Desk · mathematics · 25 September 2026, 01:00 UTC
Capable yet Parsimonious: Extracting and Characterizing Hidden Chain-of-Thought in FrontierTSR Desk · mathematics · 25 September 2026, 01:00 UTC
You Only Need 2/3 of the Chosen Experts: An Empirical Study of Dynamic Expert Pruning inTSR Desk · mathematics · 24 September 2026, 01:00 UTC
FrontierMath Erd\H{o}sTSR Desk · mathematics · 24 September 2026, 01:00 UTC
VACS: Value-Aligned Compositional Shielding for Multi-Agent ReasoningTSR Desk · mathematics · 23 September 2026, 01:00 UTC
CogGym: Towards Large-Scale Comparative Evaluation of Human and Machine CognitionTSR Desk · mathematics · 15 September 2026, 01:00 UTC
EduFair-Bench: Evaluating Pedagogical Fairness of LLM Tutors Across Student DemographicsTSR Desk · mathematics · 8 September 2026, 01:00 UTC
MABPD: Multi-Agent Bias Probing & Detection via Structured Argument DebateTSR Desk · mathematics · 8 September 2026, 01:00 UTC
GSM8K-V: Can Vision Language Models Solve Grade School Math Word Problems in Visual ContextsTSR Desk · mathematics · 8 September 2026, 01:00 UTC
AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-DimensionalTSR Desk · mathematics · 4 September 2026, 19:01 UTC
PatchBench: Evaluating AI Agents for Vulnerability PatchingTSR Desk · mathematics · 4 September 2026, 19:01 UTC
Evolving Excellence: Automated Optimization of LLM-based AgentsTSR Desk · mathematics · 4 September 2026, 19:01 UTC
Sequential Beats Joint: On the Interplay between On-Policy Distillation and RLVR