Theorem-Grounded Execution Ontologies for Interpretable Machine Reasoning

Raghu Anantharangachar

Large language models have achieved impressive performance on reasoning tasks spanning mathematics, science, programming, and commonsense inference. Despite these advances, their r…