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

Strategy pattern for tangent computations #7

Closed Zinoex closed 1 year ago

Zinoex commented 1 year ago

For some functions, a convex solver may be of use to compute tangents more efficient / accurately, for the relaxation procedure. Using a strategy pattern, we can dynamically switch between methods.