3 papers
cs.AI2026
D-Mem: A Dual-Process Memory System for LLM Agents
Zhixing You, Jiachen Yuan, Jason Cai
Driven by the development of persistent, self-adapting autonomous agents, equipping these systems with high-fidelity memory access for long-horizon reasoning has emerged as a criti…
math.LO2025
Ketonen's question and other cardinal sins
Assaf Rinot, Zhixing You, Jiachen Yuan
Answering a question of Ketonen from the late 1970's, it is proved that a weakly compact cardinal carrying an indecomposable ultrafilter need not be measurable. The result is obtai…
math.LO2025
A new model for all -sequences are trivial
Assaf Rinot, Zhixing You, Jiachen Yuan
We construct a model in which all -sequences are trivial, yet there exists a -Souslin tree with full vanishing levels. This answers a question of Lambie-Hanson and Rinot, an…