LeoAGI

AI & ML interests

None defined yet.

Recent Activity

Ziyang  authored a paper 4 days ago

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

danielhzlin  authored a paper 4 days ago

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

Ziyang  authored a paper about 2 months ago

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

View all activity

Team members 2