search

Zinoex / bound_propagation

Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.
GNU General Public License v3.0
7 stars 3 forks source link

Basic bounds arithmetic #5

Closed Zinoex closed 1 year ago

Zinoex commented 1 year ago

Both linear and interval bounds should support + and - natively.

Zinoex commented 1 year ago

Nevermind. Subtraction is complicated by the fact that lower and upper bounds aren't necessarily available simultaneously.