google / autobound

AutoBound automatically computes upper and lower bounds on functions.

google/autobound Issues

'Quickstart' notebook outputs an error
Closed 6 months ago2
Find upper and lower bounds for a simple MLP function
Closed 10 months ago4
Implement trigonometric functions
Updated a year ago3
Bug in Colab Notebook
Closed a year ago1
Support all JAX primitives
Updated a year ago
Checklist for implementation of outstanding primitives.
Closed a year ago1
Torch and TensorFlow support
Updated a year ago1
Usage fails without explicitly installing typing_extensions
Closed a year ago2