Thomas Wood PRO

Long document summarization, neural program synthesis, automated theorem proving, open ended question answering, and embodied intelligence.