Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
2025年1月1日·
,
,
,
,
,
,
,
·
0 分钟阅读时长
Zenan Li
Zhaoyu Li
Wen Tang
Xian Zhang
Yuan Yao
Xujie Si
Fan Yang
Kaiyu Yang
Xiaoxing Ma
