Xia Zeng

1
papers
0
total citations

papers (1)

Automated Proof of Polynomial Inequalities via Reinforcement Learning

CVPR 2025
0
citations