NCVX: A General-Purpose Optimization Solver for Constrained Machine and Deep Learning

3 October 2022

Papers citing "NCVX: A General-Purpose Optimization Solver for Constrained Machine and Deep Learning"

6 / 6 papers shown

Title
Future Aware Safe Active Learning of Time Varying Systems using Gaussian Processes Markus Lange-Hegermann Christoph Zimmer AI4TS 45 0 0 17 May 2024
On the Laplace Approximation as Model Selection Criterion for Gaussian Processes Andreas Besginow J. D. Hüwel Thomas Pawellek Christian Beecks Markus Lange-Hegermann 18 0 0 14 Mar 2024
Equal Opportunity of Coverage in Fair Regression Fangxin Wang Lu Cheng Ruocheng Guo Kay Liu Philip S. Yu 19 14 0 03 Nov 2023
Optimization and Optimizers for Adversarial Robustness Hengyue Liang Buyun Liang Le Peng Ying Cui Tim Mitchell Ju Sun AAML 23 5 0 23 Mar 2023
$Optimization for Robustness Evaluation beyond $\ell_p$ Metrics$ Optimization for Robustness Evaluation beyond $\ell_p$ Metrics Hengyue Liang Buyun Liang Ying Cui Tim Mitchell Ju Sun AAML 16 3 0 02 Oct 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017