I have begun working as an independent researcher on the Neural Interactive Proofs project with Lewis Hammond.