4 papers
MemTrust: A Zero-Trust Architecture for Unified AI Memory System
Xing Zhou, Dmitrii Ustiugov, Haoxin Shang +1
AI memory systems are evolving toward unified context layers that enable efficient cross-agent collaboration and multi-tool workflows, facilitating better accumulation of personal…
SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
Xingjian Zhou, Keyi Shen, Andy Xu +4
Neural network (NN) verification aims to formally verify properties of NNs, which is crucial for ensuring the behavior of NN-based models in safety-critical applications. In recent…
No Cache Left Idle: Accelerating diffusion model via Extreme-slimming Caching
Tingyan Wen, Haoyu Li, Yihuang Chen +3
Diffusion models achieve remarkable generative quality, but computational overhead scales with step count, model depth, and sequence length. Feature caching is effective since adja…
ConvRot: Rotation-Based Plug-and-Play 4-bit Quantization for Diffusion Transformers
Feice Huang, Zuliang Han, Xing Zhou +3
Diffusion transformers have demonstrated strong capabilities in generating high-quality images. However, as model size increases, the growing memory footprint and inference latency…