USTC-AGI Research Group
USTC-AGI Research Group
动态发布
师生成员
研究方向
论文列表
开源项目
系统研发
代码仓库
Qingchuan Li
Master Student
State Key Laboratory of Cognitive Intelligence, University of Science and Technology of China
兴趣爱好
LLMs and Agentic AI, 逻辑符号推理
最新
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?
引用
×