Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

Jan 1, 2025·
Zenan Li
,
Zhaoyu Li
,
Wen Tang
,
Xian Zhang
Yuan Yao
Yuan Yao
,
Xujie Si
,
Fan Yang
,
Kaiyu Yang
,
Xiaoxing Ma
· 0 min read
Type
Publication
The Thirteenth International Conference on Learning Representations
Yuan Yao
Authors
Yuan Yao
Nanjing University  School of Computer Science