search

eth-sri / ELINA

ELINA: ETH LIbrary for Numerical Analysis
http://elina.ethz.ch/
Other
129 stars 54 forks source link

[fconv] Add support of 1-ReLU and verification of the input octahedro… #61

Closed glebmk closed 3 years ago

glebmk commented 3 years ago

…n format