conftrace_

logic-complete framework

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (1) symbolic expression (1) logical decomposition (1) search router (1) reasoning framework (1) logical reasoning (1) symbolic reasoning (1)

Papers

Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework ACL 2025