Tian

Yuchen111's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper about 1 month ago

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

Paper • 2505.03418 • Published May 6 • 8

updated a dataset 4 months ago

Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385

Updated Mar 2 • 8

published a dataset 4 months ago

Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385

Updated Mar 2 • 8

updated a dataset 4 months ago

Yuchen111/leandojo_zip

Updated Feb 27 • 12

published a dataset 4 months ago

Yuchen111/leandojo_zip

Updated Feb 27 • 12

updated a dataset 4 months ago

Yuchen111/elan_mathlib4_new

Updated Feb 13 • 6

published a dataset 4 months ago

Yuchen111/elan_mathlib4_new

Updated Feb 13 • 6

updated a dataset 4 months ago

Yuchen111/mathlib4-2-11

Updated Feb 11 • 8

published a dataset 4 months ago

Yuchen111/mathlib4-2-11

Updated Feb 11 • 8

upvoted an article 6 months ago

view article

Article

✴️ ScreenSpot-Pro: GUI Grounding for Professional High-Resolution Computer Use

By and 1 other •

Jan 3

• 18

updated a dataset 7 months ago

Yuchen111/mathlib4

Updated Dec 7, 2024 • 8

updated a dataset 9 months ago

Yuchen111/apps_select

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

updated a dataset 10 months ago

Yuchen111/CodeHaluEval

Updated Aug 18, 2024 • 30 • 1

liked a dataset about 1 year ago

likaixin/MMCode

Updated Sep 23, 2024 • 131 • 12