A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
- Maxwell Crouse
- Ibrahim Abdelaziz
- et al.
- 2021
- AAAI 2021
Conference paper
Publications
33 results for Kavitha Srinivas
Unsupervised Causal Knowledge Extraction from Text using Natural Language Inference
- Manik Bhandari
- Mark Feblowitz
- et al.
- 2021
- AAAI 2021
PosterIBM Scenario Planning Advisor: A Neuro-Symbolic ERM solution
- Mark Feblowitz
- Oktie Hassanzadeh
- et al.
- 2020
- ICAPS 2020
Demo paper