LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models.

Kang He, Kaushik Roy

Browse the full EMNLP paper archive.