Neuro-symbolic framework for autonomous remediation of cloud infrastructure misconfigurations using Z3 SMT verification and LLM patch generation
benchmark terraform cloud-infrastructure z3 infrastructure-as-code smt-solver formal-verification ai-safety cloud-security neuro-symbolic llm llm-benchmark autonomous-remediation ai-safety-research cloudfix-bench
-
Updated
Aug 13, 2026 - Python