3 papers
math.AP2026
pper and Lower Bounds for Blow-up Times in Coupled Reaction--Diffusion Systems with Nonlocal Sources
Xin Zhao, Aynuer Ailatusi, Xianfa Song +1
In this paper, we consider the following reaction-diffusion system \begin{equation*} \begin{cases} u_t=Δu+F\bigl(x,t,u,v,V(t)\bigr), & (x,t)\in\Om\times(0,T), v_t=Δv+G\bigl(x,t,u,v…
cs.AR2026
Pooling Engram Conditional Memory in Large Language Models using CXL
Ruiyang Ma, Teng Ma, Zhiyuan Su +11
Engram conditional memory has emerged as a promising component for LLMs by decoupling static knowledge lookup from dynamic computation. Since Engram exhibits sparse access patterns…
cs.AR2025
Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation
Ruiyang Ma, Daikang Kuang, Ziqian Liu +3
Debugging hardware designs requires significant manual effort during hardware development. After engineers identify a bug-triggering test case in simulation-based hardware verifica…