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. 2310.04916
  4. Cited By
Tight Certified Robustness via Min-Max Representations of ReLU Neural
  Networks

Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks

7 October 2023
Brendon G. Anderson
Samuel Pfrommer
Somayeh Sojoudi
    OOD
ArXivPDFHTML

Papers citing "Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks"

2 / 2 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
222
1,818
0
03 Feb 2017
Piecewise convexity of artificial neural networks
Piecewise convexity of artificial neural networks
Blaine Rister
Daniel L Rubin
AAML
ODL
21
31
0
17 Jul 2016
1