ML Anthology

Xiang, Dongming

1 publications

AAAI 2025 Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network Xiongqi Zhang, Junwei Xu, Yang Wang, Dongming Xiang, Wang Lin, Zuohua Ding