Solving Inequality Proofs with Large Language Models
Paper
•
2506.07927
•
Published
•
16
Yifan Gao
Fantech
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
3 days ago
Solving Inequality Proofs with Large Language Models
liked
a Space
4 months ago
OctoTools/octotools
upvoted
a
paper
4 months ago
OctoTools: An Agentic Framework with Extensible Tools for Complex
Reasoning
Organizations
None yet