search

microsoft / knossos-ksc

Compiler with automatic differentiation
Other
45 stars 10 forks source link

WIP: Checking ks::Float change sufficient for relu3_upper_bounds #939

Closed awf closed 3 years ago