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

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Wang, Ruoxi, Li, Kun, Xu, Minghui, Zhang, Yue, Xu, Kaidi, Liu, Chunchi, Xiao, Yinhao, Cheng, Xiuzhen
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!