Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

2025年1月1日·
Zenan Li
,
Zhaoyu Li
,
Wen Tang
,
Xian Zhang
Yuan Yao
Yuan Yao
,
Xujie Si
,
Fan Yang
,
Kaiyu Yang
,
Xiaoxing Ma
· 0 分钟阅读时长
类型
出版物
The Thirteenth International Conference on Learning Representations
Yuan Yao
Authors
Yuan Yao
南京大学  计算机学院