@misc{indiciaeb444755912ed,
  title = {LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks},
  author = {Ruoxi Wang and Kun Li and Minghui Xu and Yue Zhang and Kaidi Xu and Chunchi Liu and Yinhao Xiao and Xiuzhen Cheng},
  year = {2025},
  url = {https://arxiv.org/abs/2507.04931},
  note = {Source identifier: 2507.04931}
}