3 ms·It's interesting to see how machine learning and formal methods can be combined.by CollinZ 4y agoIt's interesting to see how machine learning and formal methods can be combined.