Michael Ofengenden

Hey! I'm Michael, currently an Applied Math and Computer Science student (with a minor in French) at UC Berkeley. I am deeply interested in mechanistic interpretability and automtaed theorem proving and conjoing them with AI. I expect to graduate in the fall of 2025. Please contact me through Email regarding any ML/AI research positions.