symbolic reasoning

Neural Module Networks for Reasoning over Text ICLR 2020 NeurASP: Embracing Neural Networks into Answer Set Programming IJCAI 2020 Neuro-Symbolic Program Search for Autonomous Driving Decision Module Design CoRL 2020 TabFact: A Large-scale Dataset for Table-based Fact Verification ICLR 2020 Table Fact Verification with Structure-Aware Transformer EMNLP 2020 AiFu at SemEval-2019 Task 10: A Symbolic and Sub-symbolic Integrated System for SAT Math Question Answering SemEval 2019 Bridging Machine Learning and Logical Reasoning by Abductive Learning NeurIPS 2019 Deep Learning with Relational Logic Representations IJCAI 2019 EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inference CoNLL 2019 Hintikka's World: Scalable Higher-order Knowledge IJCAI 2019 How Well Do Machines Perform on IQ tests: a Comparison Study on a Large-Scale Dataset IJCAI 2019 Learning Hierarchical Symbolic Representations to Support Interactive Task Learning and Knowledge Transfer IJCAI 2019 Semantically-Aligned Equation Generation for Solving and Reasoning Math Word Problems NAACL 2019 SemEval-2019 Task 10: Math Question Answering SemEval 2019 Step-by-Step: Separating Planning from Realization in Neural Data-to-Text Generation NAACL 2019 The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration IJCAI 2019 Bridging Knowledge Gaps in Neural Entailment via Symbolic Models EMNLP 2018 Combining Symbolic Expressions and Black-box Function Evaluations in Neural Programs ICLR 2018 DeepProbLog: Neural Probabilistic Logic Programming NeurIPS 2018 Learning Explanatory Rules from Noisy Data (Extended Abstract) IJCAI 2018 Learning to Reason with Third Order Tensor Products NeurIPS 2018 Learning to Solve SMT Formulas NeurIPS 2018 Neural-Symbolic VQA: Disentangling Reasoning from Vision and Language Understanding NeurIPS 2018 End-to-end Differentiable Proving NeurIPS 2017 Learning Continuous Semantic Representations of Symbolic Expressions ICML 2017