conftrace_

polynomial inequality proving

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

basis selection (1) polynomial inequality (1) krivine basis (1) fast fourier transform (1) automated theorem proving (1) linear programming (1) automated reasoning (1) reinforcement learning (1)

Papers

Automated Proof of Polynomial Inequalities via Reinforcement Learning CVPR 2025