conftrace_

basis selection

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

polynomial inequality proving (1) svd decomposition (1) polynomial inequality (1) krivine basis (1) maximum matching (1) fast fourier transform (1) automated theorem proving (1) spectral algorithm (1) hankel matrix (1) sequence learning (1)

Papers

Automated Proof of Polynomial Inequalities via Reinforcement Learning CVPR 2025 A Maximum Matching Algorithm for Basis Selection in Spectral Learning AISTATS 2017