2 ms·A billion dollars worth of AI and formal methods researchby mhh__ 4y agoA billion dollars worth of AI and formal methods research