tian
betty513
AI & ML interests
None yet
Recent Activity
upvoted a paper 10 days ago
ABot-Earth 0.5: Generative 3D Earth Model upvoted a paper about 1 month ago
OProver: A Unified Framework for Agentic Formal Theorem Proving upvoted a paper about 1 month ago
Solvita: Enhancing Large Language Models for Competitive Programming via Agentic EvolutionOrganizations
None yet