Jason Gross

Jason is a programming languages scientist. Previously, he worked on securing the internet and fighting with proof-assistants. Now, he leads a team working on formalizing mechanistic explanations of neural-net behavior. He is interested in both theory-heavy projects geared at guarantees and automated evaluation, and applied projects that use guarantees-compression to play with and understand models.