FormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight
arXiv:2602.11136v2 Announce Type: replace Abstract: As LLM-based agents increasingly operate in high-stakes domains with real-world consequences, ensuring their behavioral safety becomes paramount. The dominant oversight...