Publication First-Order Laziness Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley ICFP'25 | August 2025 Distinguished Paper Project
Publication Characterizing Deep Research: A Benchmark and Formal Definition Abhinav Java, Ashmit Khandelwal, S. Midigeshi, Aaron L Halfaker, Amit Deshpande, Navin Goyal, Ankur Gupta, Nagarajan Natarajan, Amit Sharma ICLR 2026 | August 2025
Publication Velocitune: A Velocity-based Dynamic Domain Reweighting Method for Continual Pre-training Zheheng Luo, Xin Zhang, Xiao Liu, Haoling Li, Yeyun Gong, Qi Chen, Peng Cheng ACL | August 2025
Publication Cognitive Loop via In-Situ Optimization: Self-Adaptive Reasoning for Science Newman Cheng, Gordon Broadbent, William Chappell August 2025
Publication The SPACE of AI: Real-World Lessons on AI’s Impact on Developers Brian Houck, Travis Lowdermilk, Cody Beyer, Steven Clarke, Ben Hanrahan August 2025
Publication Harnessing Temporal Databases for Systematic Evaluation of Factual Time-Sensitive Question-Answering in Large Language Models Soyeon Kim, Jindong Wang, Xing Xie, Steven Euijong Whang ICLR 2026 | August 2025
Publication VLM4D: Towards Spatiotemporal Awareness in Vision Language Models Shijie Zhou, Alexander Vilesov, Xuehai He, Ziyu Wan, Shuwang Zhang, Aditya Nagachandra, Di Chang, Dongdong Chen, Xin Eric Wang, Achuta Kadambi August 2025 arXiv | August 2025
Publication Streaming Algorithms for Network Design Chandra Chekuri, Rhea Jain, Sepideh Mahabadi, Ali Vakilian International Conference on Approximation Algorithms for Combinatorial Optimization Problems (APPROX) | August 2025
Publication Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno USENIX Security Symposium | August 2025
Publication TACO-RL: Task Aware Prompt Compression Optimization with Reinforcement Learning Shivam Shandilya, Menglin Xia, Supriyo GHOSH, Huiqiang Jiang, Jue Zhang, Qianhui Wu, Victor Ruehle, Saravan Rajmohan ACL 2025 Findings | August 2025 Project