そういえば、今年のFLoCでは Summit on machine learning meets formal methods というイベントがあるのね。

https://www.turing.ac.uk/events/summit-machine-learning-meet-formal-methods/