Publication Learning to Generate Unit Test via Adversarial Reinforcement Learning Dongjun Lee, Changho Hwang, Kimin Lee ICLR 2026 | April 2026
Publication VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus Chuyue Sun, Yican Sun, Ethan Zhang, Daneshvar Amrollahi, Shuvendu Lahiri, Shan Lu, David Dill, Clark Barrett International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | April 2026 Project
Publication RefineRL: Advancing Competitive Programming with Self-Refinement Reinforcement Learning Shaopeng Fu, Xingxing Zhang, Li Dong, Furu Wei April 2026 arXiv | April 2026
Publication Generative Design and Vibe Coding: Rethinking The Design-Development Divide for UI Prototyping Xinqi Zhang, Hari Subramonyam, Advait Sarkar, Ian Drosos, Jack Wang, Kyungho Lee, Veronica Pimenova, Xiang "Anthony" Chen, Kai Lukoff ACM CHI Conference on Human Factors in Computing Systems (CHI 2026) | April 2026 Project
Publication Universal YOCO for Efficient Depth Scaling Yutao Sun, Li Dong, Tianzhu Ye, Shaohan Huang, Jianyong Wang, Furu Wei April 2026 arXiv | April 2026
Publication Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via \v{C}ech Cohomology Halley Young March 2026 arXiv | March 2026
Publication Developers and generative AI: A study of self-admitted usage in open source projects Rosalia Tufano, Federica Pepe, Fiorella Zampetti, A. Mastropaolo, Ozren Dabi'c, Massimiliano Di Penta, Gabriele Bavota March 2026 arXiv | March 2026
Publication Early Discoveries of Algorithmist I: Promise of Provable Algorithm Synthesis at Scale Janardhan (Jana) Kulkarni March 2026 arXiv | March 2026
Publication CaP-X: A Framework for Benchmarking and Improving Coding Agents for Robot Manipulation Max Fu, Justin Yu, Karim El-Refai, Ethan Kou, Haoru Xue, Huang Huang, Wenli Xiao, Guanzhi Wang, Fei-Fei Li, Guanya Shi, Jiajun Wu, Shankar Sastry, Yuke Zhu, Ken Goldberg, LinxiJimFan March 2026 arXiv | March 2026
Publication Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents Shuvendu Lahiri March 2026 arXiv | March 2026
Research
Research
