About
I am mostly interested in machine learning and software engineering. Lately, a lot of my focus has been on Large Language Models - both in using them as a tool when combined with formal methods, and in understanding and interpreting them.
I am currently open to job opportunities. If you found my work interesting and think I could be a good fit for your team, feel free to reach out via email or LinkedIn.
Outside of work, I race dirt bikes. I race A class in hard enduro, and B class in regular enduro and hare scrambles.
Blog Posts
Using GPT-4 to Assist in C to Rust Translation
Applying GPT-4 to SAW Formal Verification - Galois, Inc.
Papers
Measuring Progress in Dictionary Learning for Language Model Interpretability with Board Game Models
Adam Karvonen, Benjamin Wright, Can Rager, Rico Angell, Jannik Brinkmann, Logan Smith, Claudio Mayrink Verdun, David Bau, Samuel Marks
Accepted to 2024 NeurIPS main conference, Oral Presentation at the 2024 ICML Mech Interp Workshop
Emergent World Models and Latent Variable Estimation in Chess-Playing Language Models
Adam Karvonen
Accepted to the 2024 Conference on Language Modeling
Sourya Dey, Adam Karvonen, Ethan Lew, Donya Quick, Panchapakesan Shyamshankar, Ted Hille, Matt LeBeau, Eric Davis
9th International Conference on Human Factors in Robots, Drones and Unmanned Systems – affiliated to 14th International Conference on Applied Human Factors and Ergonomics (AHFE)
Jim Carciofini, Mark Boddy, Adam Karvonen, Jake Peterson, Stephen B. Johnson, Tyler Smith, Ryan Peroutka