Jack McCarthy

I’m a master’s student in mathematics at Stony Brook, a research collaborator for Meta’s FAIR Core Learning and Reasoning group, and a contractor for Mathlib Initiative’s Formal Frontiers team. I work on long-horizon math autoformalization and differential geometry in Lean4. I’m the maintainer of WikiLean and AutoformBot, the author of Marathon, and co-organizer of the NYC Lean meetup.

I am a songwriter, rapper, producer, guitarist, and audio engineer. My music, along with amateur painting and digital artwork, can be found here.