AI Safety Forum Australia
Billy Snikkers

Billy Snikkers

Research Scientist/Engineer, Resolution

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.

Non-profit / NGOMathematicsComputer scienceEngineering