Notes and unfinished thoughts, not the academic homepage. I have been using large language models and agentic workflows to check mathematical derivations and to implement the associated code; several posts below are about that. For papers, CV, and teaching, go back to the home page.