Tian

Yuchen111's activity

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

upvoted a paper 3 days ago

RubricBench: Aligning Model-Generated Rubrics with Human Standards

Paper • 2603.01562 • Published 4 days ago • 50

updated a dataset 8 days ago

Yuchen111/test

Updated 8 days ago • 6 • 1

published a dataset 8 days ago

Yuchen111/test

Updated 8 days ago • 6 • 1

upvoted a paper 5 months ago

EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty

Paper • 2510.00732 • Published Oct 1, 2025 • 6

upvoted a paper 7 months ago

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

Paper • 2508.14704 • Published Aug 20, 2025 • 43

updated a dataset 7 months ago

Yuchen111/mathlib4-ds

Updated Aug 4, 2025 • 5

published a dataset 7 months ago

Yuchen111/mathlib4-ds

Updated Aug 4, 2025 • 5

upvoted a paper 10 months ago

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

Paper • 2505.03418 • Published May 6, 2025 • 9

updated a dataset about 1 year ago

Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385

Updated Mar 2, 2025 • 5

published a dataset about 1 year ago

Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385

Updated Mar 2, 2025 • 5

updated a dataset about 1 year ago

Yuchen111/leandojo_zip

Updated Feb 27, 2025 • 4

published a dataset about 1 year ago

Yuchen111/leandojo_zip

Updated Feb 27, 2025 • 4

updated a dataset about 1 year ago

Yuchen111/elan_mathlib4_new

Updated Feb 13, 2025 • 5

published a dataset about 1 year ago

Yuchen111/elan_mathlib4_new

Updated Feb 13, 2025 • 5

updated a dataset about 1 year ago

Yuchen111/mathlib4-2-11

Updated Feb 11, 2025 • 5

published a dataset about 1 year ago

Yuchen111/mathlib4-2-11

Updated Feb 11, 2025 • 5

upvoted an article about 1 year ago

view article

Article

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

• 

Jan 3, 2025

•

23

updated a dataset about 1 year ago

Yuchen111/mathlib4

Updated Dec 7, 2024 • 4

updated 2 datasets over 1 year ago

Yuchen111/apps_select

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

Yuchen111/CodeHaluEval

Updated Aug 18, 2024 • 36 • 2