3 ms·To Teach Computers Math, Researchers Merge AI Approaches4 points by sonabinu 4y agoCollinZ 4y agoIt's interesting to see how machine learning and formal methods can be combined.