conftrace_

krivine basis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

polynomial inequality (1) polynomial inequality proving (1) basis selection (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