@misc{indiciae15671daa761b,
  title = {Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework},
  author = {Jundong Xu and Hao Fei and Meng Luo and Qian Liu and Liangming Pan and William Yang Wang and Preslav Nakov and Mong-Li Lee and Wynne Hsu},
  year = {2025},
  url = {https://arxiv.org/abs/2412.16953},
  note = {Source identifier: 2412.16953}
}