论文与出版物 An Empirical Study of Issues in Large Language Model Training Systems Yanjie Gao, Ruiming Lu, Haoxiang Lin, Yueguo Chen FSE 2025 | June 2025 The ACM International Conference on the Foundations of Software Engineering, Industry Track 项目
论文与出版物 Principal Type Inference under a Prefix Daan Leijen, Wenjia Ye PLDI’25 | June 2025 Distinguished Paper "A Fresh Look at Static Overloading". See also the accompanying technical report. 项目
论文与出版物 The SWE-Bench Illusion: When State-of-the-Art LLMs Remember Instead of Reason Shanchao Liang, Spandan Garg, Roshanak Zilouchian Moghaddam ArXiv | June 2025, 第 abs/2506.12286 卷
论文与出版物 Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Ruanqianqian (Lisa) Huang, Ayana Monroe, Jonathan "Peli" de Halleux, Sorin Lerner, Nikolaj Bjørner MSR-TR-2025-36 | June 2025 作者：Microsoft
论文与出版物 Code Researcher: Deep Research Agent for Large Systems Code and Commit History Ramneet Singh∗, Sathvik Joel∗, Abhav Mehrotra, Nalin Wadhwa, Ramakrishna Bairi, Aditya Kanade, Nagarajan Natarajan MSR-TR-2025-34 | June 2025 作者：Microsoft
视频 Episode 7: The road ahead 2025年6月3日 | Jonathan M. Carlson, Will Guyman, Matthew Lungren, Cameron Runde, Smitha Saligrama In this final episode of the series… 02:29
视频 Episode 6: Healthcare Agent Orchestrator 2025年6月3日 | Jonathan M. Carlson, Will Guyman, Matthew Lungren, Cameron Runde, Smitha Saligrama Healthcare AI agents can now be cus… 11:13
视频 Episode 5: Breakthroughs in AI 2025年6月3日 | Jonathan M. Carlson, Will Guyman, Matthew Lungren, Cameron Runde, Smitha Saligrama New advances in AI technology are h… 04:23
