I'm a student at Stanford working on a BS in pure math and an MS in symbolic systems (https://symsys.stanford.edu/). I have worked in SAIL in the NLP group on mech interp and am a Visiting Researcher at Softmax (https://softmax.com/). You can see some of my posts on technical research-related things here: https://research.logangraves.com

I also love philosophy (in fact, it was my first deep enduring interest) and am interested in post-AGI political theory. I enjoy the challenge of building intellectual institutions, and spend a lot of my time trying to create spaces for substantial engagement with ideas.