User Updates

Published June 18, 2026

Welcome to CRAFT Lab!

The Computational Reasoning and Formalized Theory (CRAFT) Lab is live and we are excited to work with you.