WizardLM Team

AI & ML interests

Large Language Models

Recent Activity

Ziyang  authored a paper 26 days ago

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

Ziyang  authored a paper 2 months ago

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

Ziyang  authored a paper 4 months ago

Aria-UI: Visual Grounding for GUI Instructions

View all activity

Team members 6