5 papers
Veritas: A Verifier Generation Harness for Agent Tasks
Daoan Zhang, Qinbo Bai, Dehai Min +3
The effectiveness of a self-improving system relies heavily on the quality of its verifier, which judges the outcome of each improvement round. However, the verifiers of most tasks…
The Imperishable Record, Forgiveness, and the Future of Criminal Justice
Mark Fenwick, Paulius Jurcys, Sebastian Porsdam Mann
Digital technologies can preserve records of wrongdoing indefinitely, and AI can give those records continuing influence over a person's future. We describe this condition as the e…
DashAct: A Progressive Diagnostic Benchmark for GUI Agents in Interactive Dashboard Analysis
Chuhan Zhang, Qi Xie, Ziyue Wang +4
Interactive dashboards require users to reveal and connect evidence across stateful interactions. Although graphical user interface (GUI) agents could automate this process, existi…
Robust Asynchronous Planning via Auto-Formalization
Jiayi Zhang, Jianing Yin, Ben Zhou +1
LLMs can plan by generating schedules directly as a Planner, or by translating a task into a formal specification for a solver as a Formalizer. Most real-world tasks are asynchrono…
DeferMem: Query-Time Evidence Distillation via Reinforcement Learning for Long-Term Agent Memory
Jianing Yin, Tan Tang, Yingcai Wu
Large language model (LLM) agents still struggle to effectively use long-term memory, with answer-supporting evidence often scattered across long conversational histories and burie…