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), pp. 588–591. doi: 10.1609/aaaiss.v8i1.42591.