5 papers
Lossless Tensor Compression as Program Synthesis
Jieke Shi, Junda He, Wenjia Jiang +11
Model checkpoints are growing in both number and size, which makes archival, transfer, and deployment increasingly costly. General-purpose compressors can reduce storage requiremen…
Insecure Coding Preferences in Long-Term Memory: Security Risks for LLM-based Code Generation
Yuchen Chen, Wei Cheng, Yuan Xiao +7
LLM-based systems increasingly incorporate long-term memory to improve cross-session continuity. However, once insecure coding preferences are stored, they may silently influence s…
Neuro-Symbolic Reasoning for Vulnerability Detection
Yanjie Zhao, Hongjie Chen, Li Lu +3
Ask a large language model (LLM) whether a pointer dereference is safe, and it can often produce a plausible justification for ``yes''. The difficulty is that a fluent justificatio…
Curiosity-Driven Testing for Sequential Decision-Making Process
Junda He, Zhou Yang, Jieke Shi +5
Sequential decision-making processes (SDPs) are fundamental for complex real-world challenges, such as autonomous driving, robotic control, and traffic management. While recent adv…
Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs
Jieke Shi, Zhou Yang, Junda He +4
Given the increasing adoption of modern AI-enabled control systems, ensuring their safety and reliability has become a critical task in software testing. One prevalent approach to…