作者位次 #2/10ICLR 2026Poster· General Machine Learning / Everything Else
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
评测与基准OpenReview