Izumi Haruta
2 papers
· 2020–2020
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
ACL (1)
COLING (1)
Top co-authors
Keywords
natural language inference
(2)
combinatory categorial grammar
(1)
semantic representation
(1)
automated theorem proving
(1)
lexical knowledge
(1)
formal semantics
(1)
generalized quantifier
(1)
logical inference
(1)
event semantics
(1)
logic-based reasoning
(1)
degree semantics
(1)
comparative construction
(1)
combinatorial categorial grammar
(1)