Eric Yang

I am a junior at Northwestern University studying Computer Engineering and Mathematics. My research interests lie at the intersection of math, formal methods, and AI. I am particularly interested in energy-based models and formal verification using Lean. I also enjoy learning about mathematical physics.

Currently, I work as a research assistant at the IDEAS Lab, where I work on formal verification projects. I also contributed to DeepMind’s Formal Conjectures through the Northwestern Lean Lab.

Selected work

Redex implementation of L3CS 324

codetalk

Northwestern Undergraduate Lean Lab2025ongoing

Formal Conjectures

Mechanics Engine for Formal Verification

code

Education

Northwestern University2023 – 2027 (expected)B.S. in Computer Engineering · B.A. in Mathematics