VIDEO DOI: https://doi.org/10.48448/49t6-vk71

technical paper

ECAI 2020

August 31, 2020

Live on Underline

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from ECAI 2020

Reuse, Reduce and Recycle: Optimizing Reiter’s HS-Tree for Sequential Diagnosis
technical paper

Reuse, Reduce and Recycle: Optimizing Reiter’s HS-Tree for Sequential Diagnosis

ECAI 2020

Patrick Rodler
Patrick Rodler

31 August 2020

Similar lecture

Verification of Neural Networks: Enhancing Scalability through Pruning
technical paper

Verification of Neural Networks: Enhancing Scalability through Pruning

ECAI 2020

Dario Guidotti
Dario Guidotti

31 August 2020

Stay up to date with the latest Underline news!

PRESENTATIONS

  • All Lectures
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved