Semantic Feature Discovery with Code Mining and Semantic Type DetectionKavitha SrinivasTakaaki Tateishiet al.2022AAAI 2022
A Deep Reinforcement Learning Approach to First-Order Logic Theorem ProvingMaxwell CrouseIbrahim Abdelazizet al.2021AAAI 2021
Unsupervised Causal Knowledge Extraction from Text using Natural Language InferenceManik BhandariMark Feblowitzet al.2021AAAI 2021
IBM Scenario Planning Advisor: A Neuro-Symbolic ERM solutionMark FeblowitzOktie Hassanzadehet al.2020ICAPS 2020