Tian's picture

1 1

Tian

Yuchen111

·

AI & ML interests

None yet

Recent Activity

updated a dataset 5 days ago

Yuchen111/elan_mathlib4_new

published a dataset 5 days ago

Yuchen111/elan_mathlib4_new

updated a dataset 7 days ago

Yuchen111/mathlib4-2-11

View all activity

Organizations

models

None public yet

datasets 5

Yuchen111/elan_mathlib4_new

Updated 5 days ago

Yuchen111/mathlib4-2-11

Updated 7 days ago • 2

Yuchen111/mathlib4

Updated Dec 7, 2024 • 1

Yuchen111/apps_select

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

Yuchen111/CodeHaluEval

Updated Aug 18, 2024 • 15 • 1