Co-occurring keywords · papers mentioning both
Papers
Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems
ACL 2025
Identifying the limits of transformers when performing model-checking with natural language
EACL 2023
Prompt-based Logical Semantics Enhancement for Implicit Discourse Relation Recognition
EMNLP 2023
Hybrid Semantics for Goal-Directed Natural Language Generation
ACL 2022
Determining Semantic Textual Similarity using Natural Deduction Proofs
EMNLP 2017
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment
EACL 2017
The Challenge of Composition in Distributional and Formal Semantics
IJCNLP 2017