Li, Lixing. “Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game”. Proceedings of the AAAI Symposium Series, vol. 8, no. 1, May 2026, pp. 588-91, doi:10.1609/aaaiss.v8i1.42591.