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. 2111.01395
  4. Cited By
Training Certifiably Robust Neural Networks with Efficient Local
  Lipschitz Bounds

Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds

2 November 2021
Yujia Huang
Huan Zhang
Yuanyuan Shi
J Zico Kolter
Anima Anandkumar
ArXivPDFHTML

Papers citing "Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds"

1 / 51 papers shown
Title
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
249
1,838
0
03 Feb 2017
Previous
12