ML Anthology

Lv, Ning

1 publications

IJCAI 2025 Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates Xiongqi Zhang, Ning Lv, Wang Lin, Zuohua Ding