USTC AGI Research Group
USTC AGI Research Group
News
People
Research
Publications
Projects
Repository
Tongxuan Liu
Latest
From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation
Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?
Cite
×