Less Is More: Cognitive Load and the Single-Prompt Ceiling in LLM Mathematical Reasoning
DGX agentarXiv:2604.18897v1 Announce Type: new Abstract: We present a systematic empirical study of prompt engineering for formal mathematical reasoning in the context of the SAIR Equational Theories Stage 1 c