All posts
Photo of Charles Norton

Charles Norton

Machine Learning Librarian
AI, formal methods, and computer vision. Core contributor to VMEC++, Crane (Rocq-to-C++), and Coq-HoTT. Currently managing computer-vision models and data at Voxel51; previously ChangeTip and Kraken.

Enough data wrangling.

Request a demo.