ReadGlim
AutoSpec: Safety Rule Evolution for LLM Agents via Inductive Logic Programming — ReadGlim