@misc{indiciaebe0f90a47cc9, title = {AutoSpec: Safety Rule Evolution for LLM Agents via Inductive Logic Programming}, author = {Pingchuan Ma and Zhaoyu Wang and Zimo Ji and Yuguang Zhou and Zhantong Xue and Zongjie Li and Shuai Wang and Xiaoqin Zhang}, year = {2026}, url = {https://arxiv.org/abs/2606.24245}, note = {Source identifier: 2606.24245} }