CVPR 2025 poster

Automated Proof of Polynomial Inequalities via Reinforcement Learning

0citations

0

Citations

#1633

in CVPR 2025

of 2873 papers

5

Authors

4

Data Points

Authors

Banglong Liu Niuniu Qi Xia Zeng Lydia Dehbi Zhengfeng Yang

Citation History

Jan 25, 2026

0

Jan 27, 2026

0

Jan 27, 2026

0

Jan 28, 2026

0