VIDEO DOI: https://doi.org/10.48448/0jhm-pn30

technical paper

ECAI 2020

August 31, 2020

Live on Underline

Verification of Neural Networks: Enhancing Scalability through Pruning

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from ECAI 2020

Integrating Open-Ended Learning in the Sense-Plan-Act Robot Control Paradigm
technical paper

Integrating Open-Ended Learning in the Sense-Plan-Act Robot Control Paradigm

ECAI 2020

Riccardo Rasconi
Riccardo Rasconi

31 August 2020

Similar lecture

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis
technical paper

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

ECAI 2020

Hongce Zhang
Hongce Zhang

31 August 2020