Showing cs.CLShow all
2 papers · 1 filter
cs.CL2026
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…
cs.CL2026
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…