@misc{indiciaec90065836d00,
  title = {Proof Minimization in Neural Network Verification},
  author = {Omri Isac and Idan Refaeli and Haoze Wu and Clark Barrett and Guy Katz},
  year = {2025},
  url = {https://arxiv.org/abs/2511.08198},
  note = {Source identifier: 2511.08198}
}