ML Anthology
Authors
Search
About
Bai, Jianhao
1 publications
ICLRW
2025
Verifying Omega-Regular Properties of Neural Network-Controlled Systems via Proof Certificates
Peixin Wang
,
Jianhao Bai
,
Dapeng Zhi
,
Min Zhang
,
Luke Ong