ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2012.08863
  4. Cited By
On The Verification of Neural ODEs with Stochastic Guarantees

On The Verification of Neural ODEs with Stochastic Guarantees

16 December 2020
Sophie Gruenbacher
Ramin Hasani
Mathias Lechner
J. Cyranka
S. Smolka
Radu Grosu
ArXivPDFHTML

Papers citing "On The Verification of Neural ODEs with Stochastic Guarantees"

3 / 3 papers shown
Title
Dataset Distillation with Convexified Implicit Gradients
Dataset Distillation with Convexified Implicit Gradients
Noel Loo
Ramin Hasani
Mathias Lechner
Daniela Rus
DD
8
41
0
13 Feb 2023
Evolution of Neural Tangent Kernels under Benign and Adversarial
  Training
Evolution of Neural Tangent Kernels under Benign and Adversarial Training
Noel Loo
Ramin Hasani
Alexander Amini
Daniela Rus
AAML
6
12
0
21 Oct 2022
Differentiable Control Barrier Functions for Vision-based End-to-End
  Autonomous Driving
Differentiable Control Barrier Functions for Vision-based End-to-End Autonomous Driving
Wei Xiao
Tsun-Hsuan Wang
Makram Chahine
Alexander Amini
Ramin Hasani
Daniela Rus
12
26
0
04 Mar 2022
1