conftrace_

polynomial inequality

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

krivine basis (1) polynomial inequality proving (1) basis selection (1) semi-algebraic proof (1) mixture of gaussian (1) proper learning (1) fast fourier transform (1) automated theorem proving (1) proof search (1) inductive bia (1)

Papers

Automated Proof of Polynomial Inequalities via Reinforcement Learning CVPR 2025 Learning dynamic polynomial proofs NeurIPS 2019 Robust and Proper Learning for Mixtures of Gaussians via Systems of Polynomial Inequalities COLT 2017