arXiv Machine Learning August 4, 2026 By Noah Schwartz, Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha

Optimized Piecewise Affine Abstractions of Neural Networks with Learnable Activation Functions

Read the original on arXiv Machine Learning →

arXiv:2602. 06737v2 Announce Type: replace Abstract: We present a generalized framework for the range verification of neural networks featuring non-linear activation functions.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv Machine Learning.

benchmarks

arXiv Machine Learning

Aug 11

Input convex neural networks as surrogates in mathematical optimisation

arXiv:2608. 09707v1 Announce Type: cross Abstract: Embedding trained neural networks as surrogates within optimisation problems is an established practice in operations research.

By Yu Liu, Jan Kronqvist, Fabricio Oliveira

rag

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.

By Wenxin Li, Wenchao Liu, Weihao Li, Chuan Wang, Qi Gao, Yin Ma, Hai Wei, Kai Wen

efficiency safety

arXiv AI

Jun 3

Neural Network Verification using Partial Multi-Neuron Relaxation

arXiv:2605. 30155v3 Announce Type: replace-cross Abstract: The increasing integration of deep neural networks in critical systems has spawned a theoretical and practical interest in formally guaranteeing safety properties about their behavior.

By Ido Shmuel, Guy Katz

safety

arXiv Machine Learning

4d ago

ICNN-enhanced 2SP: Leveraging input convex neural networks for solving two-stage stochastic programming

arXiv:2505.05261v4 Announce Type: replace-cross Abstract: Two-stage stochastic programming (2SP) offers a basic framework for modelling decision-making under uncertainty, yet scalability remains a ch...

By Yu Liu, Fabricio Oliveira, Jan Kronqvist

rag benchmarks

arXiv AI

Aug 25

Which Algorithms Can Graph Neural Networks Learn?

arXiv:2602.13106v2 Announce Type: replace-cross Abstract: In recent years, there has been growing interest in understanding neural architectures' ability to learn to execute discrete algorithms, a li...

By Solveig Wittig, Antonis Vasileiou, Robert R. Nerem, Timo Stoll, Floris Geerts, Yusu Wang, Christopher Morris

efficiency

arXiv AI

Jun 26

Algorithmic Foundations of Deep Learning: Complexity-Theoretic Rates and a Characterization of Universal Approximation

arXiv:2606. 26705v1 Announce Type: cross Abstract: Feedforward neural network (NN) expressivity is typically studied by emulating optimal basis-expansion schemes.

By Anastasis Kratsios, Simone Brugiapaglia, Bum Jun Kim, Gregory Cousins, Haitz S\'aez de Oc\'ariz Borde

One email a morning, machine-written

Related stories

Input convex neural networks as surrogates in mathematical optimisation

Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers

Neural Network Verification using Partial Multi-Neuron Relaxation

ICNN-enhanced 2SP: Leveraging input convex neural networks for solving two-stage stochastic programming

Which Algorithms Can Graph Neural Networks Learn?

Algorithmic Foundations of Deep Learning: Complexity-Theoretic Rates and a Characterization of Universal Approximation