conftrace_

real algebraic geometry

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

semi-algebraic function (1) global optimum (1) weighted model integration (1) sparse neural network (1) relu activation (1) optimization theory (1) linear programming (1) probabilistic inference (1)

Papers

LP-Based Weighted Model Integration over Non-Linear Real Arithmetic IJCAI 2025 Does a sparse ReLU network training problem always admit an optimum ? NeurIPS 2023