Co-occurring keywords · papers mentioning both
Papers
Towards a Common Framework for Autoformalization
AAAI 2026
Connecting Symbolic Statutory Reasoning with Legal Information Extraction
EMNLP 2023
Switch-List Representations in a Knowledge Compilation Map
IJCAI 2020
Can Meta-Interpretive Learning outperform Deep Reinforcement Learning of Evaluable Game strategies?
IJCAI 2019
Lifted Inference Seen from the Other Side : The Tractable Features
NeurIPS 2010
Learning and using relational theories
NeurIPS 2007