I'm a maths postdoc at the University of Sydney with interests in symplectic geometry and applications of ML and theorem provers to mathematics.