arXiv Machine Learning July 1, 2026 By Long Kiu Chung, Shreyas Kousik

ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints

Read the original on arXiv Machine Learning →

arXiv:2606. 30935v1 Announce Type: cross Abstract: While neural network control policies are powerful, their deployment on safety critical systems depends on ensuring that they obey strict constraints.

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.

Hugging Face Trending Papers

Aug 25

$(\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...

agents safety

arXiv Machine Learning

Aug 26

$(\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-...

By Hanna Jiamei Zhang, Alan Papalia, Michael Everett, David M. Rosen

agents safety

arXiv AI

Jun 24

Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications

arXiv:2606. 23858v1 Announce Type: cross Abstract: A primary challenge in AI safety is the existence of adversarial examples -- slightly distorted inputs that cause a neural network (NN) to misclassify.

By Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris, Jo\~ao Marques-Silva

benchmarks safety

arXiv Machine Learning

Jul 7

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning

arXiv:2408. 09112v2 Announce Type: replace Abstract: Reinforcement learning policies parametrized by deep neural networks have achieved strong performance for continuous control, yet even small input perturbations may lead to unpredictable behavior.

By Manuel Wendl, Lukas Koller, Tobias Ladner, Matthias Althoff

agents reinforcement-learning benchmarks safety

arXiv Machine Learning

Jun 15

Provably Safe, Yet Scalable Reinforcement Learning

arXiv:2606. 14536v1 Announce Type: new Abstract: Safe reinforcement learning (RL) aims to learn policies that optimize rewards while satisfying constraints.

By Kai S. Yun, Zeyang Li, Navid Azizan

reinforcement-learning robotics safety

arXiv Machine Learning

Sep 23

CAffNet: Hard Constraint-Affine Neural Networks

arXiv:2605.24437v2 Announce Type: replace Abstract: We present a novel framework for embedding hard constraint satisfaction into neural network (NN) architectures, specifically feedforward neural net...

By Yang Zhao, Jungeun Lee, Jeong hwan Jeon, Sze Zheng Yong

llms rag

One email a morning, machine-written

Related stories

$(\text{DNN})^2$: Doubly Non-Negative Relaxations for Deep Neural Networks

$(\text{DNN})^2$: Doubly Non-Negative Relaxations for Deep Neural Networks

Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning

Provably Safe, Yet Scalable Reinforcement Learning

CAffNet: Hard Constraint-Affine Neural Networks