Publication Exqutor: Extended Query Optimizer for Vector-augmented Analytical Queries Hyunjoon Kim, Chaerim Lim, Hyeonjun An, Rathijit Sen, Kwanghyun Park December 2025
Publication A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums Arthur Ramos, A. Oliveira, Ruy de Queiroz, Tiago de Veras December 2025
Publication Multimodal AI generates virtual population for tumor microenvironment modeling Jeya Maria Jose Valanarasu, Hanwen Xu, Naoto Usuyama, Chanwoo Kim, Cliff Wong, Peniel Argaw, Racheli Ben Shimol, Angela Crabtree, Kevin Matlock, Alexandra Q. Bartlett, Jaspreet Bagga, Yu Gu, Sheng Zhang, Tristan Naumann, Bernard A. Fox, Bill Wright, Ari Robicsek, Brian Piening, Carlo Bifulco, Sheng Wang, Hoifung Poon Cell | December 2025
Publication Astral Space: Convex Analysis at Infinity Miro Dudík, Robert E. Schapire, Matus Telgarsky December 2025 Final pre-publication draft of book to be published by Princeton University Press in 2026.
Publication SIT-Graph: State Integrated Tool Graph for Multi-Turn Agents Sijia Li, Yuchen Huang, Zifan Liu, Zijian Li, Jingjing Fu, Lei Song, Jiang Bian, Jun Zhang, Rui Wang December 2025
Publication A Performance Analyzer for a Public Cloud’s ML-Augmented VM Allocator Roozbeh Bostandoost, Pooria Namyar, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Eli Cortez, Ankur Mallick, Kevin Hsieh, Rodrigo Fonseca, M. Hajiesmaili, Behnaz Arzani December 2025
Publication Single-step Diffusion-based Video Coding with Semantic-Temporal Guidance Naifu Xue, Zhaoyang Jia, Jiahao Li, Bin Li, Zihan Zheng, Yuan Zhang, Yan Lu December 2025
Publication DoVer: Intervention-Driven Auto Debugging for LLM Multi-Agent Systems Ming-Jie Ma, Jue Zhang, Fangkai Yang, Yu Kang, Qingwei Lin, S. Rajmohan, Dongmei Zhang ICLR 2026 | December 2025
Publication SimSort: A Data-Driven Framework for Spike Sorting by Large-Scale Electrophysiology Simulation Yimu Zhang, Dongqi Han, Yansen Wang, Zhenning Lv, Yu Gu, Dongsheng Li NeurIPS 2025 | December 2025
Publication SpaceControl: Introducing Test-Time Spatial Control to 3D Generative Modeling Elisabetta Fedele, Francis Engelmann, Ian Huang, O. Litany, Marc Pollefeys, Leonidas J. Guibas ICLR 2026 | December 2025