Thomas Wood PRO

odellus

AI & ML interests

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

Recent Activity

Organizations