Thomas Wood

odellus

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

None public yet