Kelly J. Davis

Kelly J. Davis

Machine learning and speech technology. Former Co-Founder/CEO of Coqui (TTS), Manager of Mozilla's ML group (Deep Speech, Common Voice). Ph.D. Physics (Rutgers), B.S. Mathematics (MIT).

Gödel’s Poetry

Date:

Lecture to an audience of mathematics and computer science professors on Gödel’s Poetry (preprint / code), a recursively decomposing LLM based prover.