Announcement_12
Our paper “RefineAct: Automatic Runtime Verification of LLM Agent Actions” has been accepted at ASE 2026! 🎉 A lightweight, non-formal implementation lives at aligned — full code coming soon.
Our paper “RefineAct: Automatic Runtime Verification of LLM Agent Actions” has been accepted at ASE 2026! 🎉 A lightweight, non-formal implementation lives at aligned — full code coming soon.