Article
20
Ziyang Luo
Ziyang
AI & ML interests
Agents, LLMs, Multimodal ML
Recent Activity
authored
a paper
about 1 month ago
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized
Problems via Symmetry and Difficulty
upvoted
a
paper
about 1 month ago
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized
Problems via Symmetry and Difficulty
commented on
a paper
about 1 month ago
TOUCAN: Synthesizing 1.5M Tool-Agentic Data from Real-World MCP
Environments
Organizations
models
0
None public yet
datasets
0
None public yet