TY  - RPRT
TI  - IneqAgent: Agentic Inequality Proving in Lean with Symbolic Computation
AU  - Gaolei He
AU  - Jinhui Li
AU  - Ruobing Zuo
AU  - Xia Zeng
AU  - Zhengfeng Yang
PY  - 2026
UR  - https://arxiv.org/abs/2610.20681
ID  - 2610.20681
ER  -