Luna Lyu

1
Papers
9
Total Citations

Papers (1)

Solving Inequality Proofs with Large Language Models

NeurIPS 2025
9
citations