Hi, I'm Hantao Lou.

I am a final-year undergraduate at Tong Class, Peking University, and a visiting researcher at UC Berkeley RDI.

At Berkeley RDI, I work on formal verification and specifications with Prof. Dawn Song. At Peking University, I work on scalable AI alignment with Prof. Yaodong Yang. Previously, I studied mechanistic interpretability through the MATS program with Evan Hubinger. I've also worked on formal verification at Beneficial AI Foundation, supervised by Prof. Max Tegmark.