Automatic Vectorization in JAX — JAX documentation