Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs.
Siyuan WangZhongyu WeiYejin ChoiXiang RenPublished in: CoRR (2024)
Keyphrases
- logical rules
- learning environment
- cut elimination
- horn clauses
- production rules
- prior knowledge
- test cases
- rule sets
- predicate logic
- active rules
- multi valued
- rule engine
- proof theoretic
- derivation rules
- sequent calculus
- automated reasoning
- intuitionistic logic
- mental models
- modal logic
- classification rules
- decision rules
- attribute values
- logic programming
- association rules