论文与出版物 IndiMathBench: Autoformalization Mathematical Reasoning Problems with a Human Touch Param Biyani, Shashank Kirtania, Yasharth Bajpai, Ashish Tiwari, Sumit Gulwani ArXiv | October 2025
论文与出版物 TrainVerify: Equivalence-Based Verification for Distributed LLM Training Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles (SOSP’25) | October 2025 Github
论文与出版物 Why AI Agents Still Need You: Findings from Developer-Agent Collaborations in the Wild Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill IEEE/ACM International Conference on Automated Software Engineering, ASE | October 2025
论文与出版物 AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work Rudrajit Choudhuri, Carmen Badea, Christian Bird, Jenna Butler, Robert DeLIne, Brian Houck October 2025
论文与出版物 Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy 2025 Computer and Communications Security | October 2025 项目
视频 Microsoft Research India – The lab culture 2025年9月30日 | P. Anandan, Indrani Medhi Thies, B. Ashok, Sriram Rajamani, Vidhya Yella Reddy, Manik Varma, Kalika Bali, Jayashree Mohan, Venkat Padmanabhan Watch the founder, former and curre… 07:01
视频 Microsoft Research India – The evolution 2025年9月30日 | Venkat Padmanabhan, P. Anandan, Rick Rashid, Peter Lee, Doug Burger, Sriram Rajamani Learn about Microsoft Research Indi… 06:04
论文与出版物 PerfBench: Can Agents Resolve Real-World Performance Bugs? Spandan Garg, Roshanak Zilouchian Moghaddam, Neel Sundaresan September 2025
论文与出版物 Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding Veronica Pimenova, Sarah Fakhoury, Christian Bird, Margaret-Anne Storey, Madeline Endres September 2025
论文与出版物 One Head, Many Models: Cross-Attention Routing for Cost-Aware LLM Selection Roshini Pulishetty, Mani Kishan Ghantasala, Keerthy Kaushik Dasoju, Niti Mangwani, Vishal Garimella, Aditya Mate, Somya Chatterjee, Yue Kang, Ehi Nosakhare, Sadid A. Hasan, Soundar Srinivasan September 2025
