3 papers
cs.CR2025
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…
cs.CR2024
I'm Spartacus, No, I'm Spartacus: Measuring and Understanding LLM Identity Confusion
Kun Li, Shichao Zhuang, Yue Zhang +5
Large Language Models (LLMs) excel in diverse tasks such as text generation, data analysis, and software development, making them indispensable across domains like education, busin…
cs.CR2024
AutoIoT: Automated IoT Platform Using Large Language Models
Ye Cheng, Minghui Xu, Yue Zhang +3
IoT platforms, particularly smart home platforms providing significant convenience to people's lives such as Apple HomeKit and Samsung SmartThings, allow users to create automation…