He, Peiyang

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

AAAI 2025 OpenVIS: Open-Vocabulary Video Instance Segmentation Pinxue Guo, Hao Huang, Peiyang He, Xuefeng Liu, Tianjun Xiao, Wenqiang Zhang