arXiv AI
Learning with Boolean threshold functions
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
arXiv Machine Learning
Jun 19
DisjunctiveNet: Neural Symbolic Learning via Differentiable Convexified Optimization Layers
arXiv:2605. 30456v2 Announce Type: replace Abstract: Many learning tasks in science and engineering are characterized by sparse datasets, which limits the effectiveness of purely data-driven approaches.
arXiv Machine Learning
3d ago
$(\text{DNN})^2$: Doubly Non-Negative Relaxations for Deep Neural Networks
arXiv:2608.24743v1 Announce Type: new Abstract: Existing linear program (LP) and semidefinite program (SDP) relaxations for rectified linear unit (ReLU) neural network (NN) verification yield overly-...
arXiv AI
Jul 28
Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers
arXiv:2603. 00408v2 Announce Type: replace-cross Abstract: We present an Ising-compatible framework for formal neural-network robustness verification under bounded input perturbations.
arXiv Machine Learning
Aug 4
Optimized Piecewise Affine Abstractions of Neural Networks with Learnable Activation Functions
arXiv:2602. 06737v2 Announce Type: replace Abstract: We present a generalized framework for the range verification of neural networks featuring non-linear activation functions.
Hugging Face Trending Papers
4d ago
$(\text{DNN})^2$: Doubly Non-Negative Relaxations for Deep Neural Networks
Existing linear program (LP) and semidefinite program (SDP) relaxations for rectified linear unit (ReLU) neural network (NN) verification yield overly-conservative safety guarantees due to significant...
arXiv Machine Learning
Aug 14
Training Under Challenge: Executable Certificates and Challenge-Closed Optimality for Neural Networks
arXiv:2608. 12655v1 Announce Type: new Abstract: A flat training curve does not reveal whether a neural network has reached a global optimum, is locally trapped, is representation-limited, or is mismatched to its trainer.