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. 2406.04476
  4. Cited By
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving
  Reachability Analysis

Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis

6 June 2024
Sina Sharifi
Mahyar Fazlyab
ArXivPDFHTML

Papers citing "Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis"

2 / 2 papers shown
Title
ReachLipBnB: A branch-and-bound method for reachability analysis of
  neural autonomous systems using Lipschitz bounds
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds
Taha Entesari
Sina Sharifi
Mahyar Fazlyab
22
6
0
01 Nov 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
222
1,835
0
03 Feb 2017
1