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 |