Sun, Mengzhou

2 publications

NeurIPS 2024 Proving Olympiad Algebraic Inequalities Without Human Demonstrations Chenrui Wei, Mengzhou Sun, Wei Wang

NeurIPSW 2024 Proving Olympiad Algebraic Inequalities Without Human Demonstrations Chenrui Wei, Mengzhou Sun, Wei Wang