@misc{indiciae3a3c540eecaf,
  title = {Exploring Solver-Level Warmstarting for Neural Network Verification},
  author = {Annelot Bosman and Minghao Liu and Marta Kwiatkowska and Holger Hoos and Jan van Rijn},
  year = {2026},
  url = {https://arxiv.org/abs/2609.25962},
  note = {Source identifier: 2609.25962}
}