IneqAgent: Agentic Inequality Proving in Lean with Symbolic Computation
Abstract page for arXiv paper 2610.20681: IneqAgent: Agentic Inequality Proving in Lean with Symbolic Computation
arXiv.org
Abstract page for arXiv paper 2610.20681: IneqAgent: Agentic Inequality Proving in Lean with Symbolic Computation
arXiv.org