[Other] [Full book]Algorithms for Verifying Deep Neural Networks

tana.j Post time Half hour(s) ago | Show all posts |Read mode
This post will be closed automatically in 2026-09-01 16:06
Reward50points

journalㄩFoundations and Trends in Optimization

AuthorsㄩChangliu Liu; Tomer Arnon; Chris Lazarus; Christopher Strong; Clark Barrett; Mykel J. Kochenderfer

Published dateㄩ2021-2-11

DOIㄩ10.1561/2400000035

PDF linkㄩhttps://www.emerald.com/ftopt/ar ... 35/2400000035en.pdf

Article linkㄩhttps://doi.org/10.1561/2400000035

Article SourceㄩEmerald


Remarkㄩ
Reply

Use magic Donate Report

All Reply0 Show all posts

Reply

You have to log in before you can reply Login | Register

Points Rules

Junior Member
  • post

  • reply

  • points

    0


Return to the list