Bridging Formal Methods and Machine Learning with Global Optimisation.

Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao

Browse the full ICFEM paper archive.