Carina Hong | AI That Can Prove It: From Mathematical Discovery to Verified Software | Stanford HAI

Stanford
University

Stanford Home
Maps & Directions
Search Stanford
Emergency Info

Terms of Use
Privacy
Copyright
Trademarks
Non-Discrimination
Accessibility

© Stanford University. Stanford, California 94305.

Carina Hong | AI That Can Prove It: From Mathematical Discovery to Verified Software | Stanford HAI