Skip to content

Commit ea6d11b

Browse files
author
Matthew Mirman
committed
fixed resnet tiny img
1 parent 7812870 commit ea6d11b

File tree

2 files changed

+1
-1
lines changed

2 files changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -82,7 +82,7 @@ which uses an epsilon specified by "--width"
8282
Abstract Networks
8383
-----------------
8484

85-
![High Level](https://raw.githubusercontent.com/eth-sri/diffai/master/media/resnetTinyFewCombo.pdf)
85+
![Example Abstract Net](https://raw.githubusercontent.com/eth-sri/diffai/master/media/resnetTinyFewCombo.png)
8686

8787
A cruical point of DiffAI v3 is that how a network is trained and abstracted should be part of the network description itself. In this release, we provide layers that allow one to alter how the abstraction works,
8888
in addition to providing a script for converting an abstract network to onyx so that the abstract analysis might be run in tensorflow.

media/resnetTinyFewCombo.pdf

-36.7 KB
Binary file not shown.

0 commit comments

Comments
 (0)