PaRoT: A Practical Framework for Robust Deep Neural Network Training

v1v2v3 (latest)

PaRoT: A Practical Framework for Robust Deep Neural Network Training

7 January 2020

Edward W. Ayers

Francisco Eiras

ArXiv (abs)PDF HTML

Papers citing "PaRoT: A Practical Framework for Robust Deep Neural Network Training"

9 / 9 papers shown

Title
Efficient Error Certification for Physics-Informed Neural Networks Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy Dvijotham Philip Torr M. P. Kumar PINN 93 1 0 17 May 2023
Certifying Ensembles: A General Certification Theory with S-Lipschitzness Aleksandar Petrov Francisco Eiras Amartya Sanyal Philip Torr Adel Bibi UQCV 65 1 0 25 Apr 2023
Perspectives on the System-level Design of a Safe Autonomous Driving Stack Majd Hawasly Jonathan Sadeghi Morris Antonello Stefano V. Albrecht John Redford S. Ramamoorthy 43 4 0 29 Jul 2022
CheckINN: Wide Range Neural Network Verification in Imandra (Extended) Remi Desmartin Grant Passmore Ekaterina Komendantskaya M. Daggitt 70 5 0 21 Jul 2022
Verifiable Goal Recognition for Autonomous Driving with Occlusions Cillian Brewitt Massimiliano Tamborski Cheng Wang Stefano V. Albrecht 72 12 0 28 Jun 2022
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare Yan Jia John McDermid T. Lawton Ibrahim Habli 88 48 0 01 Sep 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 104 69 0 26 Jul 2021
GRIT: Fast, Interpretable, and Verifiable Goal Recognition with Learned Decision Trees for Autonomous Driving Cillian Brewitt Bálint Gyevnár Samuel Garcin Stefano V. Albrecht 90 30 0 10 Mar 2021
PILOT: Efficient Planning by Imitation Learning and Optimisation for Safe Autonomous Driving H. Pulver Francisco Eiras L. Carozza Majd Hawasly Stefano V. Albrecht S. Ramamoorthy 61 22 0 01 Nov 2020