Yifan Gao
Fantech
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
2 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
models
0
None public yet
datasets
0
None public yet