A Unified View of Piecewise Linear Neural Network Verification

Rudy R. Bunel, Ilker Turkaslan, Philip Torr, Pushmeet Kohli, Pawan K. Mudigonda

Nov-20-2025, 19:42:37 GMT–Neural Information Processing Systems

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.

artificial intelligence, machine learning, neural network, (20 more...)

Neural Information Processing Systems

Nov-20-2025, 19:42:37 GMT

Conferences PDF

Country:
- Europe > United Kingdom
  - England > Oxfordshire > Oxford (0.05)
- North America > Canada
  - Quebec > Montreal (0.04)

Technology:
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks > Deep Learning (0.66)

Duplicate Docs Excel Report

Title
A Unified View of Piecewise Linear Neural Network Verification
A Unified View of Piecewise Linear Neural Network Verification

Similar Docs Excel Report more

Title	Similarity	Source
None found