Hongzhan Lin

danielhzlin's activity

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

upvoted a paper 10 days ago

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

Paper • 2510.00732 • Published 12 days ago • 5

upvoted 2 papers about 1 month ago

AdamMeme: Adaptively Probe the Reasoning Capacity of Multimodal Large Language Models on Harmfulness

Paper • 2507.01702 • Published Jul 2 • 2

Codec Does Matter: Exploring the Semantic Shortcoming of Codec for Audio Language Model

Paper • 2408.17175 • Published Aug 30, 2024 • 5

upvoted a paper about 2 months ago

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

Paper • 2508.14704 • Published Aug 20 • 42

upvoted an article 9 months ago

view article

Article

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

By and 1 other •

Jan 3

• 19