Search papers, labs, and topics across Lattice.
This paper introduces Theorem-Grounded Execution Ontologies (TGEO), a novel framework that transforms reasoning in large language models into an executable state-transition process, enhancing interpretability and verifiability. By integrating theorem families, domain ontologies, and a structured reasoning graph, TGEO allows for explicit representation of reasoning steps, making it easier to audit and replay the reasoning process. Evaluation on theorem-intensive tasks shows that TGEO significantly improves the interpretability and reproducibility of AI reasoning systems compared to existing methods.
Executable reasoning graphs reveal every step of AI's thought process, making it auditable and reproducible in ways traditional methods cannot match.
Large language models have achieved impressive performance on reasoning tasks spanning mathematics, science, programming, and commonsense inference. Despite these advances, their reasoning processes remain largely latent, making them difficult to interpret, verify, replay, debug, and transfer across domains. Existing approaches such as chain-of-thought, tree-of-thoughts, graph-of-thoughts, and tool-augmented reasoning expose intermediate reasoning artifacts but typically lack explicit execution semantics, formal state representations, and verifiable reasoning structures. We introduce Theorem-Grounded Execution Ontologies (TGEO), a framework that models reasoning as an executable state-transition process rather than a sequence of generated tokens. Given an input problem, TGEO identifies relevant theorem families, binds the problem to a domain ontology, discovers semantic objects, instantiates states and operators, constructs predicates and contracts, and synthesizes an executable reasoning graph. The resulting graph provides an interpretable, replayable, and auditable representation of reasoning in which every state transition, operator application, and validation step is explicitly represented. TGEO integrates five architectural components: (1) theorem-grounded reasoning priors, (2) executable ontologies, (3) operator-mediated state transitions, (4) predicate and contract-based execution validation, and (5) architectural auditing and failure localization. We evaluate TGEO on theorem-intensive reasoning tasks derived from mathematical benchmark domains and a curated Golden Execution Suite. Our findings demonstrate the value of executable reasoning representations for interpretable, verifiable, and reproducible AI reasoning systems.
