Ziyang Luo

Ziyang's activity

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

authored a paper 21 days ago

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

Paper • 2510.00732 • Published 25 days ago • 5

upvoted a paper 22 days ago

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

Paper • 2510.00732 • Published 25 days ago • 5

commented a paper 23 days ago

TOUCAN: Synthesizing 1.5M Tool-Agentic Data from Real-World MCP Environments

Paper • 2510.01179 • Published 25 days ago • 24 •

3

upvoted a paper 23 days ago

TOUCAN: Synthesizing 1.5M Tool-Agentic Data from Real-World MCP Environments

Paper • 2510.01179 • Published 25 days ago • 24

commented 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 •

10

commented 3 papers 2 months ago

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

Paper • 2508.14704 • Published Aug 20 • 42 •

10

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

Paper • 2508.14704 • Published Aug 20 • 42 •

10

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

Paper • 2508.14704 • Published Aug 20 • 42 •

10

authored a paper 2 months ago

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

Paper • 2508.14704 • Published Aug 20 • 42

upvoted a paper 2 months ago

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

Paper • 2508.14704 • Published Aug 20 • 42

commented a paper 2 months ago

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

Paper • 2508.14704 • Published Aug 20 • 42 •

10

authored 4 papers 4 months ago

Aria-UI: Visual Grounding for GUI Instructions

Paper • 2412.16256 • Published Dec 20, 2024 • 1

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

Paper • 2504.07981 • Published Apr 4 • 2

Mercury: Ultra-Fast Language Models Based on Diffusion

Paper • 2506.17298 • Published Jun 17 • 4

GTA1: GUI Test-time Scaling Agent

Paper • 2507.05791 • Published Jul 8 • 26

upvoted a paper 4 months ago

GTA1: GUI Test-time Scaling Agent

Paper • 2507.05791 • Published Jul 8 • 26

updated a dataset 4 months ago

CodeResearch/tree-of-evol-75k

Viewer • Updated Jul 5 • 75.4k • 20

published a dataset 4 months ago

CodeResearch/tree-of-evol-75k

Viewer • Updated Jul 5 • 75.4k • 20

published 2 models 4 months ago

CodeResearch/tree-of-evol-14b

15B • Updated Dec 24, 2024

CodeResearch/tree-of-evol-7b

8B • Updated Dec 24, 2024 • 1