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