Li, Lixing. “Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game”. Proceedings of the AAAI Symposium Series 8, no. 1 (May 18, 2026): 588–591. Accessed May 23, 2026. https://ojs.aaai.org/index.php/AAAI-SS/article/view/42591.