Li, L. (2026). Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game.
Chicago Style (17th ed.) CitationLi, Lixing. Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game. 2026.
MLA (9th ed.) CitationLi, Lixing. Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game. 2026.
Warning: These citations may not always be 100% accurate.