2 ms·Formal Methods Meet Machine Learning [pdf]2 points by rramadass 3y agorramadass 3y agoFor further details/papers see this GitHub repository Formal Methods and Machine Learning : https://github.com/jdnklau/fm-ml https://github.com/jdnklau/fm-ml