Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

Open Webpage

Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma

Published: 01 Jan 2025, Last Modified: 14 May 2025ICLR 2025EveryoneRevisionsBibTeXCC BY-SA 4.0