AI at Harvey. Previously AI at Glean and Sambanova, Math + CS at Stanford