IBM-Stanford team’s solution of a longstanding problem could greatly boost AIResearchMark Squillante and Soumyadip Ghosh16 Dec 20206 minute readMathematical SciencesNeuro-symbolic AI