Tian's picture

3 1

Tian

Yuchen111

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago

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

updated a dataset 18 days ago

Yuchen111/mathlib4-ds

published a dataset 18 days ago

Yuchen111/mathlib4-ds

View all activity

Organizations

Yuchen111 's datasets 8

Yuchen111/mathlib4-ds

Updated 18 days ago • 19

Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385

Yuchen111/leandojo_zip

Yuchen111/elan_mathlib4_new

Yuchen111/mathlib4-2-11

Yuchen111/mathlib4

Updated Dec 7, 2024

Yuchen111/apps_select

Viewer • Updated Sep 25, 2024 • 4.27k • 1

Yuchen111/CodeHaluEval

Updated Aug 18, 2024 • 19 • 1