TY - RPRT TI - Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework AU - Jundong Xu AU - Hao Fei AU - Meng Luo AU - Qian Liu AU - Liangming Pan AU - William Yang Wang AU - Preslav Nakov AU - Mong-Li Lee AU - Wynne Hsu PY - 2025 UR - https://arxiv.org/abs/2412.16953 ID - 2412.16953 ER -