conftrace_

clause complexity

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model finding (1) lexical rarity (1) intention grounding (1) hallucination prediction (1) query feature (1) linguistic feature (1) ontology reasoning (1) sat solver (1) first-order logic (1) automated reasoning (1)

Papers

What Makes a Good Query? Measuring the Impact of Human-Confusing Linguistic Features on LLM Performance EACL 2026 Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019