@misc{indiciaec083110d0220,
  title = {A priori bounds for certified Krawczyk homotopy tracking},
  author = {Kisun Lee},
  year = {2025},
  url = {https://arxiv.org/abs/2512.01355},
  note = {Source identifier: 2512.01355}
}