| "Toward Scalable Verification for Safety-Critical Deep Networks" at SysML 2018 |
[Feb. 14th, 2018|11:40 am]
Lindsey Kuper
|
New blog post, in which I reveal my secret research agenda.
This entry was originally posted at https://lindseykuper.dreamwidth.org/23069.html. Please comment there using OpenID. |
|
