56 results on '"Guy Katz"'
Search Results
52. Toward Scalable Verification for Safety-Critical Deep Networks.
53. Ground-Truth Adversarial Examples.
54. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.
55. DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks.
56. Wise Computing: Towards Endowing System Development with True Wisdom.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.