Chaofan Tao
tcftrees
AI & ML interests
None yet
Recent Activity
upvoted a paper about 1 month ago
Motion 3-to-4: 3D Motion Reconstruction for 4D Synthesis upvoted a paper about 1 month ago
FARE: Fast-Slow Agentic Robotic Exploration upvoted a paper about 1 month ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics