论文与出版物 CoSPlan: Corrective Sequential Planning via Scene Graph Incremental Updates Shresth Grover, P. Pathak, Akash Kumar, Vibhav Vineet, Y. S. Rawat December 2025
论文与出版物 Exqutor: Extended Query Optimizer for Vector-augmented Analytical Queries Hyunjoon Kim, Chaerim Lim, Hyeonjun An, Rathijit Sen, Kwanghyun Park December 2025
论文与出版物 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
论文与出版物 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
论文与出版物 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.
论文与出版物 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
论文与出版物 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
论文与出版物 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
论文与出版物 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
论文与出版物 Multimodal Reinforcement Learning with Agentic Verifier for AI Agents Reuben Tan, Baolin Peng, Zhengyuan Yang, Hao Cheng, Oier Mees, Theodore Zhao, Andrea Tupini, Isar Meijier, Qianhui Wu, Yuncong Yang, Lars Liden, Yu Gu, Sheng Zhang, Xiaodong Liu, Lijuan Wang, Marc Pollefeys, Yong Jae Lee, Jianfeng Gao December 2025