Sagar Indurkhya
4 papers
· 2021–2022
· 4 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(4)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
🏆
Keyword Champion
(2)
Conferences
ACL (1)
CONLL (1)
EMNLP (1)
IJCNLP (1)
Top co-authors
Keywords
syntactic parsing
(3)
constraint solving
(2)
minimalist grammar
(2)
syntactic derivation
(2)
universal dependencies
(2)
predicate argument structure
(2)
automatic theorem proving
(2)
dependency parsing
(2)
smt solver
(2)
semantic role
(2)
satisfiability modulo theories
(1)
treebank evaluation
(1)
automatic theorem prover
(1)
automated theorem prover
(1)
formal deduction
(1)
theorem proving
(1)
parsing as deduction
(1)
syntax parsing
(1)
semantic representation
(1)
constraint satisfaction
(1)