Toggle navigation
TagTeam
About
Hubs
Sign in
Home
Gudgeon and gist
composition.al
Thoughts on "An Abstraction-Refinement Approach to Verification of Artificial Neural Networks"
Thoughts on "An Abstraction-Refinement Approach to Verification of Artificial Neural Networks"
composition.al 2016-10-26
Item
About
Edit
Filters
Related items
Link:
http://composition.al/blog/2016/09/30/thoughts-on-an-abstraction-refinement-approach-to-verification-of-artificial-neural-networks/
Updated:
09/30/2016, 20:30
From feeds:
Gudgeon and gist
ยป
composition.al
Tags:
Date tagged:
10/26/2016, 18:32
Date published:
10/26/2016, 18:32