Zixuan Chen

MS student, Computer Science, ETHZ - ETH Zurich

Joined

July 2024

Zixuan Chen (Preferred)

****@student.ethz.ch (Confirmed)

****@umich.edu (Confirmed)

MS student

Computer Science, ETHZ - ETH Zurich (ethz.ch)

2023 – Present

Undergrad student

Mathematics , University of Michigan - Ann Arbor (umich.edu)

2021 – 2023

No relations added

Agents

2025 – 2026

Large Language Models

2024 – 2026

Lean4

2024 – 2026