conftrace_

logical decomposition

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic expression (1) search router (1) rule-based reasoning (1) large language model (1) compositional rule (1) logic-complete framework (1) legal reasoning (1) reasoning framework (1) prompt engineering (1) logical reasoning (1)

Papers

Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework ACL 2025 Chain of Logic: Rule-Based Reasoning with Large Language Models ACL 2024