Showing cs.LGShow all
2 papers · 1 filter
cs.LG2025
Branch and Bound for Piecewise Linear Neural Network Verification
Rudy Bunel, Jingyue Lu, Ilker Turkaslan +3
The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. In this context…
cs.LG2024
Efficient Error Certification for Physics-Informed Neural Networks
Francisco Eiras, Adel Bibi, Rudy Bunel +3
Recent work provides promising evidence that Physics-Informed Neural Networks (PINN) can efficiently solve partial differential equations (PDE). However, previous works have failed…