Tian's picture

5 1

Tian

Yuchen111

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 18 days ago

RubricBench: Aligning Model-Generated Rubrics with Human Standards

updated a dataset 22 days ago

published a dataset 22 days ago

View all activity

Organizations

Collections 1

models 0

None public yet

datasets 9

Yuchen111/test

Updated 22 days ago • 8 • 1

Yuchen111/mathlib4-ds

Updated Aug 4, 2025 • 6

Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385

Updated Mar 2, 2025 • 6

Yuchen111/leandojo_zip

Updated Feb 27, 2025 • 5

Yuchen111/elan_mathlib4_new

Updated Feb 13, 2025 • 6

Yuchen111/mathlib4-2-11

Updated Feb 11, 2025 • 6

Yuchen111/mathlib4

Updated Dec 7, 2024 • 5

Yuchen111/apps_select

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

Yuchen111/CodeHaluEval

Updated Aug 18, 2024 • 43 • 2