TY  - RPRT
TI  - Automated Proof of Polynomial Inequalities via Reinforcement Learning
AU  - Banglong Liu
AU  - Niuniu Qi
AU  - Xia Zeng
AU  - Lydia Dehbi
AU  - Zhengfeng Yang
PY  - 2025
UR  - https://arxiv.org/abs/2503.06592
ID  - 2503.06592
ER  -