@misc{indiciae0388e9b0f9e4,
  title = {Fast and Sample Efficient Safety Verification via Extreme Learning Machine},
  author = {Ahan Basu and Mahathi Anand and Pushpak Jagtap},
  year = {2026},
  url = {https://arxiv.org/abs/2609.39221},
  note = {Source identifier: 2609.39221}
}