@inproceedings{sai-teja-etal-2026-statescope,
title = "{STATESCOPE}: Interactive, Grounded Diagnosis and Repair of Solution-State Drift in Mathematical Reasoning",
author = "Sai Teja, L D M S and
Sai Anish, Sangam and
Agadi, Akshaj",
editor = "Zhang, Ningyu and
Wijaya, Derry",
booktitle = "Proceedings of the 15th International Joint Conference on Natural Language Processing and the 5th Conference of the {A}sia-Pacific Chapter of the {A}ssociation for {C}omputational {L}inguistics: System Demonstrations",
month = nov,
year = "2026",
address = "Hengqin, China",
publisher = "Association for Computational Linguistics",
url = "https://aclanthology.org/2026.aacl-demo.11/",
pages = "82--88",
ISBN = "979-8-89176-441-5",
abstract = "Final-answer accuracy hides where a mathematical solution first becomes inconsistent and whether a later correction merely masks that error. We present StateScope, an interactive system for detecting, localizing, and repairing solution-state drift: divergence between a solver{'}s evolving state and a symbolically verified reference trajectory. Under a controlled comparison, two solvers receive the same Computer Algebra System (CAS)-derived operation schedule and typed arguments. We provide two systems, 1) System C records the model{'}s textual state claim, 2) System D re-derives state in an external typed ledger. A SymPy oracle checks every transition and explains component-level differences without an LLM judge. Users can step through a run, edit an operation at any retained step, directly repair System C{'}s claimed state, continue the model, and repeatedly branch from earlier interventions. Our paired evaluation covers 250 problems and twelve open and proprietary models, and a human study measures diagnostic accuracy and time. StateScope targets reasoning researchers, model developers, and educators who need to inspect and manipulate more than a final answer."
}<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="sai-teja-etal-2026-statescope">
<titleInfo>
<title>STATESCOPE: Interactive, Grounded Diagnosis and Repair of Solution-State Drift in Mathematical Reasoning</title>
</titleInfo>
<name type="personal">
<namePart type="given">L</namePart>
<namePart type="given">D</namePart>
<namePart type="given">M</namePart>
<namePart type="given">S</namePart>
<namePart type="family">Sai Teja</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Sangam</namePart>
<namePart type="family">Sai Anish</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Akshaj</namePart>
<namePart type="family">Agadi</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<originInfo>
<dateIssued>2026-11</dateIssued>
</originInfo>
<typeOfResource>text</typeOfResource>
<relatedItem type="host">
<titleInfo>
<title>Proceedings of the 15th International Joint Conference on Natural Language Processing and the 5th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics: System Demonstrations</title>
</titleInfo>
<name type="personal">
<namePart type="given">Ningyu</namePart>
<namePart type="family">Zhang</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Derry</namePart>
<namePart type="family">Wijaya</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<originInfo>
<publisher>Association for Computational Linguistics</publisher>
<place>
<placeTerm type="text">Hengqin, China</placeTerm>
</place>
</originInfo>
<genre authority="marcgt">conference publication</genre>
<identifier type="isbn">979-8-89176-441-5</identifier>
</relatedItem>
<abstract>Final-answer accuracy hides where a mathematical solution first becomes inconsistent and whether a later correction merely masks that error. We present StateScope, an interactive system for detecting, localizing, and repairing solution-state drift: divergence between a solver’s evolving state and a symbolically verified reference trajectory. Under a controlled comparison, two solvers receive the same Computer Algebra System (CAS)-derived operation schedule and typed arguments. We provide two systems, 1) System C records the model’s textual state claim, 2) System D re-derives state in an external typed ledger. A SymPy oracle checks every transition and explains component-level differences without an LLM judge. Users can step through a run, edit an operation at any retained step, directly repair System C’s claimed state, continue the model, and repeatedly branch from earlier interventions. Our paired evaluation covers 250 problems and twelve open and proprietary models, and a human study measures diagnostic accuracy and time. StateScope targets reasoning researchers, model developers, and educators who need to inspect and manipulate more than a final answer.</abstract>
<identifier type="citekey">sai-teja-etal-2026-statescope</identifier>
<location>
<url>https://aclanthology.org/2026.aacl-demo.11/</url>
</location>
<part>
<date>2026-11</date>
<extent unit="page">
<start>82</start>
<end>88</end>
</extent>
</part>
</mods>
</modsCollection>
%0 Conference Proceedings
%T STATESCOPE: Interactive, Grounded Diagnosis and Repair of Solution-State Drift in Mathematical Reasoning
%A Sai Teja, L. D. M. S.
%A Sai Anish, Sangam
%A Agadi, Akshaj
%Y Zhang, Ningyu
%Y Wijaya, Derry
%S Proceedings of the 15th International Joint Conference on Natural Language Processing and the 5th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics: System Demonstrations
%D 2026
%8 November
%I Association for Computational Linguistics
%C Hengqin, China
%@ 979-8-89176-441-5
%F sai-teja-etal-2026-statescope
%X Final-answer accuracy hides where a mathematical solution first becomes inconsistent and whether a later correction merely masks that error. We present StateScope, an interactive system for detecting, localizing, and repairing solution-state drift: divergence between a solver’s evolving state and a symbolically verified reference trajectory. Under a controlled comparison, two solvers receive the same Computer Algebra System (CAS)-derived operation schedule and typed arguments. We provide two systems, 1) System C records the model’s textual state claim, 2) System D re-derives state in an external typed ledger. A SymPy oracle checks every transition and explains component-level differences without an LLM judge. Users can step through a run, edit an operation at any retained step, directly repair System C’s claimed state, continue the model, and repeatedly branch from earlier interventions. Our paired evaluation covers 250 problems and twelve open and proprietary models, and a human study measures diagnostic accuracy and time. StateScope targets reasoning researchers, model developers, and educators who need to inspect and manipulate more than a final answer.
%U https://aclanthology.org/2026.aacl-demo.11/
%P 82-88
Markdown (Informal)
[STATESCOPE: Interactive, Grounded Diagnosis and Repair of Solution-State Drift in Mathematical Reasoning](https://aclanthology.org/2026.aacl-demo.11/) (Sai Teja et al., AACL-IJCNLP 2026)
ACL