LLM-based approach for falsifying cyber-physical systems
For those working on safety-critical systems, this research provides a new approach to verifying system specifications, potentially improving the efficiency of safety testing.
For those working on safety-critical systems, this research provides a new approach to verifying system specifications, potentially improving the efficiency of safety testing.
For researchers in physics or machine learning, this provides a new method for sampling in high-dimensional systems, particularly at phase transitions.