TY - RPRT TI - Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach AU - Qingchuan Li AU - Jiatong Li AU - Tongxuan Liu AU - Yuting Zeng AU - Mingyue Cheng AU - Weizhe Huang AU - Qi Liu PY - 2024 UR - https://arxiv.org/abs/2410.21779 ID - 2410.21779 ER -