device and dtype on region and bounds objects.

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

Closed Zinoex closed 1 year ago