Publication AutoVerus: Automated Proof Generation for Rust Code Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2025 Distinguished Artifact Award Github Project
Publication Flow Matching-Based Autonomous Driving Planning with Advanced Interactive Behavior Modeling Tianyi Tan, Yinan Zheng, Ruiming Liang, Zexu Wang, Kexin Zheng, Jinliang Zheng, Jianxiong Li, Xianyuan Zhan, Jingjing Liu NeurIPS 2025 | October 2025
Publication Oasis: Pooling PCIe Devices Over CXL to Boost Utilization Yuhong Zhong, Daniel S. Berger, Pantea Zardoshti, Enrique Saurez, Jacob Nelson, Dan R. K. Ports, Antonis Psistakis, Joshua Fried, Asaf Cidon The 31st Symposium on Operating Systems Principles (SOSP'25) | October 2025
Publication Converting Spatial to Social: Using Persistent Homology to Understand Social Groups Valerie K. Chen, Claire Liang, Julie A. Shah, Sean Andrist Proceedings of the 27th International Conference on Multimodal Interaction | October 2025
Publication Chain-of-Retrieval Augmented Generation Liang Wang, Haonan Chen, Nan Yang, Xiaolong Huang, Zhicheng Dou, Furu Wei NeurIPS 2025 | October 2025
Publication Sample-Efficient Online Learning in LM Agents via Hindsight Trajectory Rewriting Michael Y. Hu, Ben Van Durme, Jacob Andreas, Harsh Jhamtani October 2025
Publication Dyna-Mind: Learning to Simulate from Experience for Better AI Agents Xiao Yu, Baolin Peng, Michel Galley, Hao Cheng, Qianhui Wu, Janardhan Kulkarni, Suman Nath, Zhou Yu, Jianfeng Gao October 2025 Under review as a conference paper at ICLR 2026
Publication RepDL: Bit-level Reproducible Deep Learning Training and Inference Peichen Xie, Xian Zhang, Shuo Chen October 2025
Publication Saving SWE-Bench: A Benchmark Mutation Approach for Realistic Agent Evaluation Spandan Garg, Benjamin Steenhoek, Yufan Huang ArXiv | October 2025, Vol abs/2510.08996
Publication All claims are equal, but some claims are more equal than others: Importance-sensitive factuality evaluation of LLM generations Miriam Wanner, Leif Azzopardi, Paul Thomas, Soham Dan, Ben Van Durme, Nick Craswell October 2025 preprint arXiv:2510.07083