conftrace_

natural language entailment

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

natural language inference (2) predicate signature (1) semantic evaluation (1) table generation (1) quality evaluation (1) logical entailment (1) automated theorem proving (1) first-order logic (1) learning to rank (1) formal methods (1)

Papers

Entailment-Preserving First-order Logic Representations in Natural Language Entailment ACL 2025 Is This a Bad Table? A Closer Look at the Evaluation of Table Generation from Text EMNLP 2024