Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Repairing LLM-Generated Specifications with Deterministic Diagnosis
Giovanni Vaccarino, Emanuele La Malfa, Dehai Min +6
Large language models (LLMs) are increasingly used as formalizers: given a reasoning problem expressed in natural language, they produce a formal specification that a symbolic solv…
cs.AI2026
TraceDance: An Automated System for Building Agent Behavior Benchmarks from Real-World Agent Deployment Traces
Dehai Min, Daoan Zhang, Yiming Zeng +13
An agent can complete a task while exhibiting undesirable behavior during execution. Developers need tests for the specific behaviors encountered in deployment, beyond fixed benchm…