On first-order logic reasoning with small language models, the compact CLIF grammar achieves accuracy close to natural language, though natural language remains the best representation.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering
On first-order logic reasoning with small language models, the compact CLIF grammar achieves accuracy close to natural language, though natural language remains the best representation.