Language- and Theory-Agnostic Symbolic Execution via LLM Agents

Formal verification of software using agentic reasoning