USTC-AGI Research Group
USTC-AGI Research Group
动态发布
师生成员
研究方向
论文列表
开源项目
系统研发
代码仓库
Yuting Zeng
最新
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?
引用
×