Large Language Models as Falsifiers for Cyber-Physical Systems

Paper recorded by Signals 4 on 2026-09-17 in cs.AI. Abstract reproduced from arXiv; link to the original below.

Published 2026-09-17 on arXiv · recorded by Signals 4 on 2026-09-18

Category: cs.AI · 人工智能 · first seen 2026-09-18

Abstract

Falsification searches for counterexamples to formal specifications in cyber-physical systems (CPS). With specifications written in Signal Temporal Logic (STL), falsification can be formulated as a robustness optimization problem, traditionally tackled with black-box search algorithms. In parallel, large language models (LLMs) have recently emerged as surprisingly effective optimizers when coupled

Read on arXiv →