Beschastnikh, Ivan

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

IJCAI 2017 Scalable Constraint-Based Virtual Data Center Allocation Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu