Su, Yiming

2 publications

ICLR 2026 SysMoBench: Evaluating AI on Formally Specifying Complex Real-World Systems Qian Cheng, Ruize Tang, Emilie Ma, Finn Hackett, Peiyang He, Yiming Su, Ivan Beschastnikh, Yu Huang, Xiaoxing Ma, Tianyin Xu

NeurIPS 2025 STRATUS: A Multi-Agent System for Autonomous Reliability Engineering of Modern Clouds Yinfang Chen, Jiaqi Pan, Jackson Clark, Yiming Su, Noah Zheutlin, Bhavya Bhavya, Rohan R. Arora, Yu Deng, Saurabh Jha, Tianyin Xu