Tag
This paper proposes a ReAct-style agentic setup that combines LLM reasoning with verifiable feedback from SageMath, evaluating it on research-level mathematical problems. Results show substantial performance gains across models, with GPT-5.5 achieving the highest solve rate of 75.2%.