conftrace_

search router

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic expression (1) logical decomposition (1) large language model (1) logic-complete framework (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