Tian's picture

4 1

Tian

Yuchen111

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 3 days ago

EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty

upvoted a paper about 2 months ago

MCP-Universe: Benchmarking Large Language Models with Real-World Model Context Protocol Servers

updated a dataset 2 months ago

Yuchen111/mathlib4-ds

View all activity

Organizations

liked a dataset over 1 year ago

likaixin/MMCode

Updated Sep 23, 2024 • 131 • 13