Cite
Notes
Only stored in your browser.
Attribution
Solving Inequality Proofs with Large Language Models
arXiv 2025
from 1 papers
Alex Gu
grad-student
James Zou
Jiayi Sheng
Jikai Jin
Pan Lu
Tony Xia