autobound
autobound copied to clipboard
google
AutoBound automatically computes upper and lower bounds on functions.
Sine and cosine are not implemented, as you state in the [paper](https://arxiv.org/abs/2212.11429): > For example, we do not currently have a way to compute sharp Taylor enclosures for periodic functions,...
- [X] abs - [ ] acos - [ ] acosh - [X] add - [ ] after_all - [ ] all_gather - [ ] all_to_all - [ ] and...
Thanks to the authors and sponsors, this looks like it could be very useful for AI/ML. Is there support for Torch and TensorFlow on the way?
Currently, the basic example from the README.md does not run for versions of JAX>=4.25.0. This is due to the removal of the count attribute in the jax.core.Var class and its...
In the README example, Pyright complains about the arguments to taylor_bounds since the types of the Callable are restricted to jnp.ndarray and not types.NDArraylike which also supports int, float etc.
It would be nice to expand the README to show how to use autobound with vector-valued inputs and interpret the output. From looking into the code, I thought that ```python...
