@misc{indiciae105bdb819246,
  title = {Veriphi: Attack-Guided Neural Network Verification with Dataset-Dependent Training Methods},
  author = {Pratik Deshmukh and Kartik Arya and Vasili Savin},
  year = {2026},
  url = {https://arxiv.org/abs/2606.18454},
  note = {Source identifier: 2606.18454}
}