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%.
Symbolica 2.0 is a major release of the symbolic computation framework for Python and Rust, introducing programmable symbols, improved Rust API, richer output formats (HTML, Typst, colored), JIT compilation for evaluation, and better ergonomics.