View of Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game

Return to Article Details Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game Download Download PDF