LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks

Ruoxi Wang, Kun Li, Minghui Xu +5

Dynamic Symbolic Execution (DSE) is a key technique in program analysis, widely used in software testing, vulnerability discovery, and formal verification. In distributed AI system…