Co-occurring keywords · papers mentioning both
Papers
Language Models and Logic Programs for Trustworthy Tax Reasoning
AAAI 2026
Neural Reasoning Networks: Efficient Interpretable Neural Networks with Automatic Textual Explanations
AAAI 2025
A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference
COLING 2024
Intention Progression with Temporally Extended Goals
IJCAI 2024
ZeroC: A Neuro-Symbolic Model for Zero-shot Concept Recognition and Acquisition at Inference Time
NeurIPS 2022
Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)
IJCAI 2020