@inproceedings{dblp-journals-corr-abs-2511-09363,
  booktitle = {L4DC},
  title = {BarrierBench : Evaluating Large Language Models for Safety Verification in Dynamical Systems},
  author = {Ali Taheri and Alireza Taban and Sadegh Soudjani and Ashutosh Trivedi},
  year = {2026},
  url = {https://dblp.org/rec/journals/corr/abs-2511-09363},
  eprint = {2511.09363},
  archivePrefix = {arXiv}
}