# IneqAgent: Agentic Inequality Proving in Lean with Symbolic Computation

> Полный текст доступен на английском

**Published:** 16 октября 2026 г.
**Author:** Gaolei He, Jinhui Li, Ruobing Zuo, Xia Zeng, Zhengfeng Yang
**Source:** arXiv — cs.AI
**Language:** en-US
**HTML:** https://aiqazaqstan.com/ru/articles/ineqagent-agentic-inequality-proving-in-lean-with-symbolic-computation

arXiv:2610.20681v1 Announce Type: new Abstract: Formal inequality proving requires mathematical reasoning and exact computation, often connected through intermediate lemmas and goal reformulations. We introduce IneqAgent, an agentic framework combining LLM reasoning with…

> Материал агрегирован из первоисточника: **arXiv — cs.AI**
> [Читать полностью в arXiv — cs.AI](https://arxiv.org/abs/2610.20681)

**Теги:** #arXiv #DeepSeek

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*