Record
Curriculum vitae
Education, teaching, research presentations, and professional experience.
Zheyuan Wu
me@trance-0.com · https://index.trance-0.com
Education
Two disciplines, one practice: connect formal reasoning to systems that can be built and tested.
Bachelor of Science in Computer Science
Washington University in St. Louis
Bachelor of Arts in Mathematics
Washington University in St. Louis
Languages
ChineseNativeEnglishFluentJapaneseIntroductoryEducation
Two disciplines, one practice: connect formal reasoning to systems that can be built and tested.
Bachelor of Science in Computer Science
Washington University in St. Louis
Bachelor of Arts in Mathematics
Washington University in St. Louis
Languages
ChineseNativeEnglishFluentJapaneseIntroductoryTeaching and academic work
Experience centered on making algorithms, vision, language models, and linear algebra understandable.
TA for CSE 347 (Analysis of Algorithms)
Washington University in St. Louis
1 Brookings Dr, St. Louis, MO 63130
Teaching assistant for CSE 347 (Analysis of Algorithms).
TA for CSE 559A (Computer Vision)
Washington University in St. Louis
1 Brookings Dr, St. Louis, MO 63130
Teaching assistant for CSE 559A (Computer Vision).
TA for CSE 5610 (Large Language Models)
Washington University in St. Louis
1 Brookings Dr, St. Louis, MO 63130
Teaching assistant for CSE 5610 (Large Language Models).
Grader for Math 309 (Matrix Algebra)
Washington University in St. Louis
Remote
Part-time grader for Math 309: Matrix Algebra.
Grader for Math 429 (Linear Algebra)
Washington University in St. Louis
Remote
Part-time grader for Math 429: Linear Algebra.
Grader for Math 309 (Matrix Algebra)
Washington University in St. Louis
Remote
Part-time grader for Math 309: Matrix Algebra.
Research communication
Presentations are treated as checkpoints: an idea is not finished until it can be explained.
Senior Honors Thesis Presentation: Measure concentration in complex projective space and quantum entanglement
Honor thesis presentation in Department of Mathematics of Washington University in St. Louis
We explain, after Patrick Hayden, how concentration inequalities can be used in quantum theory to show that random quantum states associated to high-dimensional bipartite systems are highly entangled with high probability. A geometric interpretation of the concentration phenomenon can be given in terms of Michael Gromov's notion of the observable diameter of families of measure-metric (MM) spaces. We use Hayden's result to obtain estimates for the observable diameter of complex projective spaces.
Open presentationGeoNet: Unsupervised learning of Monocular depth
CSE 5519 Advances in Computer Vision
An introduction to GeoNet: Unsupervised learning of Monocular depth. GeoNet is a deep learning model that learns to predict depth from a single image.
Open presentationNon-commutative probability theory and its applications
Freiwald research program Summer 2025
An introduction to non-commutative probability theory and its applications.
Open presentationConcentration of measure effect on quantum communication
Freiwald research program Summer 2025
Given a bipartite system $A\otimes B$, assume $\dim(B)\geq \dim(A)\geq 3$, as the dimension of the smaller system $A$ increases, with a very high probability, a random pure state $\sigma=|\psi\rangle\langle\psi|$ selected from $A\otimes B$ is almost as good as the maximally entangled state.
Open presentationIntroduction to Information theory and Shannon entropy
Lectures on Honor Seminar for Mathematics
An introduction to information theory and Shannon entropy.
Language Model Reasoning via Chain of Thought
Lecture 5 CSE 561 Fall 2024
An introduction to language model reasoning via chain of thought.
Open presentation