@misc{indiciae019dec70174c,
  title = {Incremental Certificate Learning for Hybrid Neural Network Verification . A Solver Architecture for Piecewise-Linear Safety Queries},
  author = {Chandrasekhar Gokavarapu},
  year = {2025},
  url = {https://arxiv.org/abs/2512.24379},
  note = {Source identifier: 2512.24379}
}