Tian

Yuchen111's activity

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

upvoted a paper 3 months ago

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

Paper • 2510.00732 • Published Oct 1, 2025 • 5

upvoted a paper 5 months ago

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

Paper • 2508.14704 • Published Aug 20, 2025 • 43

upvoted a paper 8 months ago

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

Paper • 2505.03418 • Published May 6, 2025 • 9

upvoted an article about 1 year ago

view article

Article

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

• 

Jan 3, 2025

•

22