Qingchuan Li, Mingyue Cheng 0004, Zirui Liu 0010, Daoyu Wang, Yuting Zeng, Tongxuan Liu. From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation. In Sven Koenig, Chad Jenkins, Matthew E. Taylor, editors, Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026. pages 31671-31679, AAAI Press, 2026. [doi]
Abstract is missing.