LLM-Falsifier uses semantic information to optimize CPS robustness

LLM-Falsifier identifies counterexamples in cyber-physical systems by minimizing Signal Temporal Logic (STL) robustness scores. The method improves upon black-box search by providing the LLM with semantic context, such as natural-language input/output names and trajectory data, to guide the optimization process.