Hugging Face's logo
Activity Feed

AI & ML interests

Large Language Models

Recent Activity

Ziyang  authored a paper 14 days ago
DiffCoT: Diffusion-styled Chain-of-Thought Reasoning in LLMs
Ziyang  authored a paper 4 months ago
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
Ziyang  authored a paper 5 months ago
MCP-Universe: Benchmarking Large Language Models with Real-World Model Context Protocol Servers
View all activity

WizardLMTeam 's datasets 2