L. Li, “Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game”, AAAI-SS, vol. 8, no. 1, pp. 588–591, May 2026.