Yifan Gao

Fantech's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 3 days ago

Solving Inequality Proofs with Large Language Models

Paper • 2506.07927 • Published 4 days ago • 16

liked a Space 4 months ago

Running on T4

128

128

OctoTools

🚀

An Agentic Framework with Tools for Complex Reasoning

upvoted a paper 4 months ago

OctoTools: An Agentic Framework with Extensible Tools for Complex Reasoning

Paper • 2502.11271 • Published Feb 16 • 17

liked a dataset over 1 year ago

AI4Math/MathVista

Viewer • Updated Feb 11, 2024 • 6.14k • 9.43k • 156