Join Date
November 2022
Country
Gender
Not Specified
Age
Not Specified
About Matthew Mirman
I just received my PhD in AI and programming languages from ETH Zurich in 2022. Before that, I spent time at Apple, Google, and CMU building the meta-programming calculus of constructions based logic language Caledon. I enjoy water in multiple phases, unicycling, painting, backcountry snowboarding, and sailing.
Companies & Work
Extensional AI
Anarchy provides open-source LLM training infrastructure and tooling for developers. We provide a platform to help developers manage their datasets and fine-tunes.