conftrace_

logical theory

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

natural language satisfiability (1) rule reasoning (1) formal reasoning (1) knowledge graph validation (1) abductive text evidence (1) triple validation (1) transformer model (1) distantly supervised learning (1) scale invariance (1) text corpus (1)

Papers

Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability AAAI 2022 Validation of Growing Knowledge Graphs by Abductive Text Evidences AAAI 2019