Diagnosing with Insights: Structured Analysis of Agent Failures via Behavioral Abstractions
This work shows that integrating structured abstractions with LLM-guided reasoning enables effective, reliable, and interpretable diagnosis for agent failures, and introduces the concept of neural invariants to specify agent behavior properties.