2 papers
cs.CL2026
Robust Asynchronous Planning via Auto-Formalization
Jiayi Zhang, Jianing Yin, Ben Zhou +1
LLMs can plan by either generating action sequences directly as a Planner or translating tasks into domain specific language for an external solver as a Formalizer. While most real…
cs.CL2026
DeferMem: Query-Time Evidence Distillation via Reinforcement Learning for Long-Term Memory QA
Jianing Yin, Tan Tang
Large language model (LLM) agents still struggle with long-term memory question answering, where answer-supporting evidence is often scattered across long conversational histories…