Li, L. 2026. Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game. Proceedings of the AAAI Symposium Series. 8, 1 (May 2026), 588–591. DOI:https://doi.org/10.1609/aaaiss.v8i1.42591.