conftrace_

predicate signature

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

natural language entailment (1) logical entailment (1) automated theorem proving (1) first-order logic (1) learning to rank (1) formal methods (1) knowledge representation (1) natural language inference (1)

Papers

Entailment-Preserving First-order Logic Representations in Natural Language Entailment ACL 2025