paper-with-me

홈 › Papers

Certified Monotonic Neural Networks

2020-11-20 · NeurIPS 2020 12 · Xingchao Liu, Xing Han, Na Zhang, Qiang Liu

Learning monotonic models with respect to a subset of the inputs is a desirable feature to effectively address the fairness, interpretability, and generalization issues in practice. Existing methods for learning monotonic neural networks either require specifically designed model structures to ensure monotonicity, which can be too restrictive/complicated, or enforce monotonicity by adjusting the learning process, which cannot provably guarantee the learned model is monotonic on selected features. In this work, we propose to certify the monotonicity of the general piece-wise linear neural networks by solving a mixed integer linear programming problem.This provides a new general approach for learning monotonic neural networks with arbitrary model structures. Our method allows us to train neural networks with heuristic monotonicity regularizations, and we can gradually increase the regularization magnitude until the learned network is certified monotonic. Compared to prior works, our approach does not require human-designed constraints on the weight space and also yields more accurate approximation. Empirical studies on various datasets demonstrate the efficiency of our approach over the state-of-the-art methods, such as Deep Lattice Networks.

📄 PDF Abstract BibTeX arXiv:2011.10219

Code (1)

gnobitab/CertifiedMonotonicNetwork 공식 구현 pytorch

Tasks

Fairness

Similar Papers 제목 키워드 기반

MonoKAN: Certified Monotonic Kolmogorov-Arnold Network

2024-09-17 · Alejandro Polo-Molina, David Alfaya, Jose Portela

Artificial Neural Networks (ANNs) have significantly advanced various fields by effectively recognizing patterns and solving complex problems. Despite these advancements, their interpretability remains a critical challen…

Monotonic Reference-Free Refinement for Autoformalization

2026-01-30 · Lan Zhang, Marco Valentino, André Freitas arxiv

While statement autoformalization has advanced rapidly, full-theorem autoformalization remains largely unexplored. Existing iterative refinement methods in statement autoformalization typically improve isolated aspects o…

Efficient Training of Robust and Verifiable Neural Networks

2019-09-25 · Akhilan Boopathy, Lily Weng, Sijia Liu, Pin-Yu Chen 외

Recent works have developed several methods of defending neural networks against adversarial attacks with certified guarantees. We propose that many common certified defenses can be viewed under a unified framework of re…

Boosting Certified Robustness of Deep Networks via a Compositional Architecture

2021-01-01 · ICLR 2021 1 · Mark Niklas Mueller, Mislav Balunovic, Martin Vechev

A core challenge with existing certified defense mechanisms is that while they improve certified robustness, they also tend to drastically decrease standard accuracy, making it difficult to use these methods in practice.…

Decision-Aware Evaluation of Physics-Informed Surrogates

2026-06-05 · Daniel Cieślak, Andrzej Czyżewski arxiv

Physics-informed machine learning is often assessed by curve error, although engineering use depends on downstream decisions: ranking candidates, avoiding infeasible designs and limiting regret. We introduce pinn-gym, an…