Experience
Sign in to view more
Education
Sign in to view more
Bio
Research Interests
Machine reasoning, theorem proving, modularity, language, neuro-symbolic integration.
I would like to make machine do reasoning.
Machine reasoning, theorem proving, modularity, language, neuro-symbolic integration.
I would like to make machine do reasoning.