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. 2302.05745
  4. Cited By
Verifying Generalization in Deep Learning

Verifying Generalization in Deep Learning

11 February 2023
Guy Amir
Osher Maayan
Tom Zelazny
Guy Katz
Michael Schapira
    AAML
    AI4CE
ArXivPDFHTML

Papers citing "Verifying Generalization in Deep Learning"

8 / 8 papers shown
Title
Towards Reliable Neural Specifications
Towards Reliable Neural Specifications
Chuqin Geng
Nham Le
Xiaojie Xu
Zhaoyue Wang
A. Gurfinkel
X. Si
AAML
21
10
0
28 Oct 2022
Verifying Learning-Based Robotic Navigation Systems
Verifying Learning-Based Robotic Navigation Systems
Guy Amir
Davide Corsi
Raz Yerushalmi
Luca Marzari
D. Harel
Alessandro Farinelli
Guy Katz
82
36
0
26 May 2022
Bisimulations for Neural Network Reduction
Bisimulations for Neural Network Reduction
P. Prabhakar
19
6
0
07 Oct 2021
Introduction to Neural Network Verification
Introduction to Neural Network Verification
Aws Albarghouthi
AAML
53
85
0
21 Sep 2021
Output Reachable Set Estimation and Verification for Multi-Layer Neural
  Networks
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Weiming Xiang
Hoang-Dung Tran
Taylor T. Johnson
72
290
0
09 Aug 2017
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,832
0
03 Feb 2017
Safety Verification of Deep Neural Networks
Safety Verification of Deep Neural Networks
Xiaowei Huang
M. Kwiatkowska
Sen Wang
Min Wu
AAML
178
929
0
21 Oct 2016
Adversarial examples in the physical world
Adversarial examples in the physical world
Alexey Kurakin
Ian Goodfellow
Samy Bengio
SILM
AAML
250
5,830
0
08 Jul 2016
1