conftrace_

first-order logical entailment

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

knowledge graph query (1) positional encoding (1) out-of-distribution generalization (1) logical reasoning (1) transformer architecture (1)

Papers

Enhancing Transformers for Generalizable First-Order Logical Entailment ACL 2025