conftrace_

formula minimization

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logic-to-text generation (1) quantified boolean formulae (1) text comprehensibility (1) quantified boolean formula (1) propositional logic (1) natural language generation (1)

Papers

Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation ACL 2023