Zixuan Chen

MS student, Computer Science, ETHZ - ETH Zurich

  • Joined July 2024

Names

Zixuan Chen (Preferred)

Emails

****@student.ethz.ch (Confirmed)
,
****@umich.edu (Confirmed)

Personal Links

Career & Education History

MS student
Computer Science, ETHZ - ETH Zurich (ethz.ch)
2023 – Present
 
Undergrad student
Mathematics , University of Michigan - Ann Arbor (umich.edu)
2021 – 2023
 

Advisors, Relations & Conflicts

No relations added

Expertise

Agents
2025 – 2026
 
Large Language Models
2024 – 2026
 
Lean4
2024 – 2026