Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Jan 1, 2025·
,
,
,
,
,
,
,
·
0 min read
Zenan Li
Zhaoyu Li
Wen Tang
Xian Zhang
Yuan Yao
Xujie Si
Fan Yang
Kaiyu Yang
Xiaoxing Ma
Type
Publication
The Thirteenth International Conference on Learning Representations
