@misc{indiciae2558ec0af663,
  title = {From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation},
  author = {Qingchuan Li and Mingyue Cheng and Zirui Liu and Daoyu Wang and Yuting Zeng and Tongxuan Liu},
  year = {2025},
  url = {https://arxiv.org/abs/2512.03360},
  note = {Source identifier: 2512.03360}
}