Solving Inequality Proofs with Large Language Models
Paper
•
2506.07927
•
Published
•
19
Jikai Jin
bobbyjin
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
4 days ago
Solving Inequality Proofs with Large Language Models
Organizations
None yet