Research collaboration with Meta FAIR
I began a research collaboration with Meta FAIR’s Core Learning and Reasoning group, developing infrastructure for mathematical autoformalization. I maintain AutoformBot.
Jack McCarthy · updates
News
Research, talks, projects, and other milestones
2026
-
-
Contributing to Mathlib
I started contracting for Mathlib Initiative’s Formal Frontiers team, contributing to the Mathlib4 formalization library. See my CV for more about this work.
-
Speaking at Wikipedia Day NYC
I gave “4 Reasons You Should Care About Math Formalization” at Wikipedia Day NYC 2026 in Brooklyn.
2025
-
Wound-Reel receives a Legacy Award
Our Wound-Reel team received a Legacy Award at the 2025 NEOvations Bench to Bedside competition. The device helps record and report post-operative drain output. Read the NEOMED report.