Zhaoyu Li

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning