Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning.

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

Browse the full ICLR paper archive.