Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Entangled Residual Mappings


Jun 02, 2022
Mathias Lechner , Ramin Hasani , Zahra Babaiee , Radu Grosu , Daniela Rus , Thomas A. Henzinger , Sepp Hochreiter

* 21 Pages 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Learning Stabilizing Policies in Stochastic Control Systems


May 24, 2022
Đorđe Žikelić , Mathias Lechner , Krishnendu Chatterjee , Thomas A. Henzinger

* ICLR 2022 Workshop on Socially Responsible Machine Learning (SRML) 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning


Apr 15, 2022
Mathias Lechner , Alexander Amini , Daniela Rus , Thomas A. Henzinger


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Stability Verification in Stochastic Control Systems via Neural Network Supermartingales


Dec 17, 2021
Mathias Lechner , Đorđe Žikelić , Krishnendu Chatterjee , Thomas A. Henzinger

* Accepted by AAAI 2022 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Infinite Time Horizon Safety of Bayesian Neural Networks


Nov 04, 2021
Mathias Lechner , Đorđe Žikelić , Krishnendu Chatterjee , Thomas A. Henzinger

* To appear in NeurIPS 2021 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Interactive Analysis of CNN Robustness


Oct 14, 2021
Stefan Sietzen , Mathias Lechner , Judy Borowski , Ramin Hasani , Manuela Waldner

* Accepted at Pacific Graphics 2021 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

GoTube: Scalable Stochastic Verification of Continuous-Depth Models


Jul 18, 2021
Sophie Gruenbacher , Mathias Lechner , Ramin Hasani , Daniela Rus , Thomas A. Henzinger , Scott Smolka , Radu Grosu

* 17 Pages 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Closed-form Continuous-Depth Models


Jun 25, 2021
Ramin Hasani , Mathias Lechner , Alexander Amini , Lucas Liebenwein , Max Tschaikowski , Gerald Teschl , Daniela Rus

* 17 pages 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Causal Navigation by Continuous-time Neural Networks


Jun 15, 2021
Charles Vorbach , Ramin Hasani , Alexander Amini , Mathias Lechner , Daniela Rus

* 23 Pages 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification


Jun 13, 2021
Zahra Babaiee , Ramin Hasani , Mathias Lechner , Daniela Rus , Radu Grosu

* 21 Pages. Accepted for publication in the proceedings of the 38th International Conference on Machine Learning (ICML) 2021 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
3
>>