Bridging formal methods and machine learning with global optimisation

X Huang, W Ruan, Q Tang, X Zhao - International Conference on Formal …, 2022 - Springer
Formal methods and machine learning are two research fields with drastically different
foundations and philosophies. Formal methods utilise mathematically rigorous techniques …
被引用次数：11 相关文章

Bridging formal methods and machine learning with global optimisation

X Huang, W Ruan, Q Tang… - Formal Methods and …, 2022 - wrap.warwick.ac.uk
Formal methods and machine learning are two research fields with drastically different
foundations and philosophies. Formal methods utilise mathematically rigorous techniques …

Bridging Formal Methods and Machine Learning with Global Optimisation

X Huang, W Ruan, Q Tang, X Zhao - International Conference on Formal …, 2022 - dl.acm.org
Formal methods and machine learning are two research fields with drastically different
foundations and philosophies. Formal methods utilise mathematically rigorous techniques …