Tian's picture

2 1

Tian

Yuchen111

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 26 days ago

Knowledge Augmented Complex Problem Solving with Large Language Models: A Survey

updated a dataset 3 months ago

Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385

published a dataset 3 months ago

Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385

View all activity

Organizations

models 0

None public yet

datasets 7

Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385

Updated Mar 2 • 21

Yuchen111/leandojo_zip

Updated Feb 27 • 20

Yuchen111/elan_mathlib4_new

Updated Feb 13 • 15

Yuchen111/mathlib4-2-11

Updated Feb 11 • 12

Yuchen111/mathlib4

Updated Dec 7, 2024 • 18

Yuchen111/apps_select

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

Yuchen111/CodeHaluEval

Updated Aug 18, 2024 • 85 • 1