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

Emergent World Models and Latent Variable Estimation in Chess-Playing Language Models

Adam Karvonen

Submitted to the 2024 Conference on Language Modeling

Leveraging Manifold Learning and Relationship Equity Management for Symbiotic Explainable Artificial Intelligence

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)

FRIGATE: Uniting Hierarchical Planning and Model-Based Systems Engineering to Automate Failure Recovery Planning

Jim Carciofini, Mark Boddy, Adam Karvonen, Jake Peterson, Stephen B. Johnson, Tyler Smith, Ryan Peroutka