AIVV: Neuro-Symbolic LLM Agent-Integrated Verification and Validation for Trustworthy Autonomous Systems
Researchers have proposed a new framework for verifying and validating the behavior of autonomous systems using neuro-symbolic large language models (LLMs). The framework, called AIVV, integrates LLMs with formal verification techniques to detect anomalies and ensure the trustworthiness of autonomous systems.