ML Anthology

Lyu, Luna

1 publications

NeurIPS 2025 Solving Inequality Proofs with Large Language Models Pan Lu, Jiayi Sheng, Luna Lyu, Jikai Jin, Tony Xia, Alex Gu, James Zou