TY  - RPRT
TI  - From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation
AU  - Qingchuan Li
AU  - Mingyue Cheng
AU  - Zirui Liu
AU  - Daoyu Wang
AU  - Yuting Zeng
AU  - Tongxuan Liu
PY  - 2025
UR  - https://arxiv.org/abs/2512.03360
ID  - 2512.03360
ER  -