Hyun Jun Ryu

Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning

2024 · arXiv (Cornell University)

Complex logical reasoning tasks require a long sequence of reasoning, which a large language model (LLM) with chain-of-thought prompting still falls short. To alleviate this issue, neurosymbolic approaches incorporate a symbolic solver. Specifically, an LLM …