Agentic Coordination for Symbolic Sum-of-Squares Polynomial Proving
August 4, 2026
This research develops an LLM agent that coordinates symbolic tools to find weighted sum-of-squares (SOS) certificates for polynomial nonnegativity. The approach utilizes 1.35 million synthetic examples for supervised fine-tuning and group relative policy optimization to master algebraic task coordination.
HOW THIS AFFECTS YOU
●
researcherYou can explore how SFT and RL can be applied to complex, multi-step symbolic tool coordination tasks.