TY  - RPRT
TI  - LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks
AU  - Ruoxi Wang
AU  - Kun Li
AU  - Minghui Xu
AU  - Yue Zhang
AU  - Kaidi Xu
AU  - Chunchi Liu
AU  - Yinhao Xiao
AU  - Xiuzhen Cheng
PY  - 2025
UR  - https://arxiv.org/abs/2507.04931
ID  - 2507.04931
ER  -