Cheng, Qian

1 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