USTC AGI Research Group
USTC AGI Research Group
News
People
Research
Publications
Projects
Repository
Qingchuan Li
Master Student
State Key Laboratory of Cognitive Intelligence, University of Science and Technology of China
Interests
Large Language Model
Cognitive Diagnosis
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
×