2 papers
cs.AI2026
CoEvo-Mem: Co-Evolving Retrieval Policy and Memory Bank for LLM Agents
Bowen Ye, Yongchao Xu, Zhijian Li +3
As memories accumulate across tasks and sessions, the performance of long-term LLM agents depends jointly on query-specific retrieval and continual memory refinement. However, exis…
cs.AI2026
ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
Bowen Ye, Zhijian Li, Junyue Huang +2
Signal Temporal Logic (STL) is an expressive formal language for specifying spatio-temporal requirements over real-valued, real-time signals. It has been widely used for the verifi…