Publication Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set Nongyu Di, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jay Lorch, Yuan Yao, Xiaoxing Ma February 2026 February 2026 Project
Publication RE-TRAC: REcursive TRAjectory Compression for Deep Search Agents Jialiang Zhu, Gongrui Zhang, Xiaolong Ma, Lin Xu, Miaosen Zhang, Ruiqi Yang, Song Wang, Kai Qiu, Zhirong Wu, Qi Dai, Rui Ma, Bei Liu, Yifan Yang, Chong Luo, Zhengyuan Yang, Linjie Li, Lijuan Wang, Weizhu Chen, Xin Geng, Baining Guo ICML 2026 | February 2026
Publication Routing Channel-Patch Dependencies in Time Series Forecasting with Graph Spectral Decomposition Dongyuan Li, Shun Zheng, Chang Xu, Jiang Bian, Renhe Jiang ICLR 2026 | February 2026
Publication Diff-MN: Diffusion Parameterized MoE-NCDE for Continuous Time Series Generation with Irregular Observations Xu Zhang, Junwei Deng, Chang Xu, Hao Li, Jiang Bian January 2026 arXiv | January 2026 Github
Publication Controlled LLM Training on Spectral Sphere Tian Xie, Haoming Luo, Haoyu Tang, Yiwen Hu, Jason Klein Liu, Qingnan Ren, Yang Wang, Wayne Xin Zhao, Rui Yan, Bing Su, Chong Luo, Baining Guo ICML 2026 | January 2026
Publication GPU Acceleration of SQL Analytics on Compressed Data Zezhou Huang, Krystian Sakowski, H. Lehnert, Wei Cui, Carlo Curino, Matteo Interlandi, Marius Dumitru, Rathijit Sen VLDB 26 | January 2026
Publication Improving Long-Context Summarization with Multi-Granularity Retrieval Optimization Xueyu Chen, Kaitao Song, Zifan Song, Dongsheng Li, Cairong Zhao AAAI 2026 | January 2026
Publication Stepwise Think-Critique: A Unified Framework for Robust and Interpretable LLM Reasoning Jiaqi Xu, Cuiling Lan, Xuejin Chen, Yan Lu December 2025 arXiv | December 2025
Publication Experience-Evolving Multi-Turn Tool-Use Agent with Hybrid Episodic-Procedural Memory Sijia Li, Yuchen Huang, Zifan Liu, Zijian Li, Jingjing Fu, Lei Song, Jiang Bian, Jun Zhang, Rui Wang ICML 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
Research
Research