Joined JLab @UCSC as a PhD student, studying NLP and (auto)formalized mathematics.