Publication Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL D. B. Hulak, A. Ramos, Ruy J. G. B. de Queiroz May 2026 arXiv | May 2026
Publication MAGIC: Multi-Step Advantage-Gated Causal Influence for Multi-agent Reinforcement Learning Haohan Yu, Jinmiao Cong, Shengzhi Wang, Lu Wang, Chanjuan Liu May 2026 arXiv | May 2026
Publication Semantic Caching for Low-Cost LLM Serving: From Offline Learning to Online Adaptation Xutong Liu, Baran Atalar, Xiangxiang Dai, Jinhang Zuo, Siwei Wang, John C.S. Lui, Wei Chen, Carlee Joe-Wong IEEE International Conference on Computer Communications (INFOCOM) | May 2026
Publication Map2World: Segment Map Conditioned Text to 3D World Generation Jaeyoung Chung, Suyoung Lee, Jianfeng Xiang, Jiaolong Yang, Kyoung Mu Lee May 2026 arXiv | May 2026
Publication Do Not Let Low-Probability Tokens Over-Dominate in RL for LLMs Zhihe Yang, Xufang Luo, Zilong Wang, Dongqi Han, Zhiyuan He, Dongsheng Li, Yunjian Xu ICLR 2026 | April 2026
Publication A Note on TurboQuant and the Earlier DRIVE/EDEN Line of Work Ran Ben-Basat, Y. Ben-Itzhak, Gal Mendelson, Michael Mitzenmacher, Amit Portnoy, S. Vargaftik April 2026 arXiv | April 2026
Publication Response-Aware User Memory Selection for LLM Personalization Jillian R. Fisher, Jennifer Neville, Chanhee Park April 2026 arXiv | April 2026
Publication Divisible sandpiles via random walks in random scenery Ahmed Bou-Rabee, Yuval Peres, Ecaterina Sava-Huss April 2026 arXiv | April 2026
Publication Improving Human Performance with Value-Aware Interventions: A Case Study in Chess Saumik Narayanan, Raja Panjwani, Siddhartha Sen, Chien-Ju Ho April 2026 arXiv | April 2026
Publication Explicit Rank Extractors and Subspace Designs via Function Fields, with Applications to Strong Blocking Sets Zeyu Guo, Roshan Raj, Chong Shangguan, Zihan Zhang April 2026 arXiv | April 2026
Research
Research