Billy Snikkers

About

I research how to measure the presence or absence of algorithmic structure in learned models, and how to amplify or suppress this structure. I also work on automating alignment research with formalised mathematics in Lean.