Learning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI
Publications
220 results for Knowledge and Reasoning
Thinking Fast and Slow in AI: the Role of Metacognition
- Marianna Bergamaschi Ganapini
- Murray Campbell
- et al.
- 2021
- NeurIPS 2021
STONE: Signal Temporal Logic Neural Network for Time Series Classification
- Ruixuan Yan
- Agung Julius
- et al.
- 2021
- ICDM 2021
Ensembling Graph Predictions for AMR Parsing
- Thanh Lam Hoang
- Gabriele Picco
- et al.
- 2021
- NeurIPS 2021
SQALER: Scaling Question Answering by Decoupling Multi-Hop and Logical Reasoning
- Mattia Atzeni
- Jasmina Bogojeska
- et al.
- 2021
- NeurIPS 2021
Automated Supervised Feature Selection for Differentiated Patterns of Care
- Catherine Wanjiru
- William Ogallo
- et al.
- 2021
- NeurIPS 2021
Grapher: Multi-Stage Knowledge Graph Construction using Pretrained Language Models
- Igor Melnyk
- Pierre Dognin
- et al.
- 2021
- NeurIPS 2021
Post-discovery Analysis of Anomalous Subsets
- Isaiah Onando Mulang’
- William Ogallo
- et al.
- 2021
- NeurIPS 2021
Topic Transferable Table Question Answering
- Saneem Chemmengath
- Vishwajeet Kumar
- et al.
- 2021
- EMNLP 2021
Neuro-Symbolic Reinforcement Learning with First-Order Logic
- Daiki Kimura
- Masaki Ono
- et al.
- 2021
- EMNLP 2021