TY - RPRT TI - AutoSpec: Safety Rule Evolution for LLM Agents via Inductive Logic Programming AU - Pingchuan Ma AU - Zhaoyu Wang AU - Zimo Ji AU - Yuguang Zhou AU - Zhantong Xue AU - Zongjie Li AU - Shuai Wang AU - Xiaoqin Zhang PY - 2026 UR - https://arxiv.org/abs/2606.24245 ID - 2606.24245 ER -