@misc{indiciae88b5ca49d734,
  title = {Effective alpha theory certification using interval arithmetic: alpha theory over regions},
  author = {Kisun Lee},
  year = {2024},
  url = {https://arxiv.org/abs/2405.04842},
  note = {Source identifier: 2405.04842}
}