Automated Proof of Polynomial Inequalities via Reinforcement Learning.

Banglong Liu, Niuniu Qi, Xia Zeng, Lydia Dehbi, Zhengfeng Yang

Browse the full CVPR paper archive.