Publication EvidenT: An Evidence-Preserving Framework for Iterative System-Level Package Repair Chenyu Zhao, Minghua Ma, Shenglin Zhang, Zeshun Huang, Yongqian Sun, Chetan Bansal, Saravan Rajmohan, Dan Pei May 2026 arXiv | May 2026
Publication Debugging the Debuggers: Failure-Anchored Structured Recovery for Software Engineering Agents Chenyu Zhao, Shenglin Zhang, Yihang Lin, Wenwei Gu, Zhiming Chen, Yongqian Sun, Dan Pei, Chetan Bansal, Saravan Rajmohan, Minghua Ma May 2026 arXiv | May 2026
Publication Formalizing the Prime-Field Singer Construction and Sidon Set Infrastructure in Lean 4 D. B. Hulak, A. Ramos, Ruy J. G. B. de Queiroz May 2026 arXiv | May 2026
Publication EngThrive: Make It Fast and Easy to Do Great Work Brian Houck, Tim Bozarth, David Liu, Dean Carignan May 2026 arXiv | May 2026
Publication Learning Correct Behavior from Examples: Validating Sequential Execution in Autonomous Agents Reshabh K Sharma, Gaurav Mittal, Yu Hu May 2026 arXiv | May 2026
Publication Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL D. B. Hulak, A. Ramos, Ruy J. G. B. de Queiroz May 2026 arXiv | May 2026
Publication Terminus-4B: Can a Smaller Model Replace Frontier LLMs at Agentic Execution Tasks? Spandan Garg, V. Nitin, Yufan Huang May 2026 arXiv | May 2026
Publication Flashlight: A PyTorch Compiler Framework for Accelerating Attention Variants Bozhi You, Irene Wang, Zelal Su Mustafaoglu, Abhinav Jangda, Angelica Moreira, Roshan Dathathri, Divya Mahajan, Keshav Pingali Ninth Annual Conference on Machine Learning and Systems (MLSys) | May 2026
Publication Theory Under Construction: Orchestrating Language Models for Research Software Where the Specification Evolves Halley Young, Nikolaj Bjørner April 2026 arXiv | April 2026
Publication SWE-Edit: Rethinking Code Editing for Efficient SWE-Agent Yikai Zhang, Jiaxin Pei, Kenan Li, Maoquan Wang, Jin Pan, Yu Kang, Shengyu Fu, Elsie Nallipogu, Junjie Hu, Yufan Huang, Zijian Jin April 2026 arXiv | April 2026