2025
Automated Proof of Polynomial Inequalities via Reinforcement Learning
CVPR 2025poster
Polynomial inequality proving is fundamental to many mathematical disciplines and finds wide applications in diverse fields. Current traditional algebraic methods are based on searching for a polynomial positive definite representation over a set of basis. However, these methods are limited by trunc…