#Carina Hong

Scaling AI Beyond Informal: Axiom Math's Carina Hong

Carina Hong of Axiom Math discusses scaling AI through formal verification, aiming to build reliable and collaborative systems.