@misc{indiciae262eb388d892,
  title = {Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification},
  author = {Maya Swisa and Guy Katz},
  year = {2026},
  url = {https://arxiv.org/abs/2512.10747},
  note = {Source identifier: 2512.10747}
}