Move concretization procedure to region object

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 2 years ago

Zinoex commented 2 years ago

Concretization (conversion from linear to interval bounds) depends on region shape, hence this belongs on the region object.