?

Log in

No account? Create an account
"Toward Scalable Verification for Safety-Critical Deep Networks" at SysML 2018 - Lindsey Kuper [entries|archive|friends|userinfo]
Lindsey Kuper

[ website | composition.al ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

"Toward Scalable Verification for Safety-Critical Deep Networks" at SysML 2018 [Feb. 14th, 2018|11:40 am]
Lindsey Kuper
[Tags|]

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.
LinkReply