VIDEO DOI: https://doi.org/10.48448/tj1d-sk77

lightning talk

UAI 2021

July 28, 2021

United States

Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning

Please log in to leave a comment

Downloads

SlidesPaperTranscript English (automatic)

Next from UAI 2021

Improving Uncertainty Calibration of Deep Neural Networks via Truth Discovery and Geometric Optimization
lightning talk

Improving Uncertainty Calibration of Deep Neural Networks via Truth Discovery and Geometric Optimization

UAI 2021

+2Chunwei Ma
Mingchen Gao and 4 other authors

28 July 2021

Similar lecture

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

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