BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems

ArXi:2511.09363v2 Announce Type: replace Safety verification of dynamical systems via barrier certificates is essential for ensuring correctness in autonomous applications. Synthesizing these certificates involves discovering mathematical functions with current methods suffering from poor scalability, dependence on carefully designed templates, and exhaustive or incremental function-space searches.