From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation.

Qingchuan Li, Mingyue Cheng, Zirui Liu, Daoyu Wang, Yuting Zeng, Tongxuan Liu

Browse the full AAAI paper archive.