cs.CL
Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework
Jundong Xu Hao Fei Meng Luo Qian Liu Liangming Pan William Yang Wang Preslav Nakov Mong-Li Lee Wynne Hsu