Sagar Indurkhya
4 papers · 2021–2022 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
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)
Papers
Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser
CONLL 2022
Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser
EMNLP 2022
Evaluating Universal Dependency Parser Recovery of Predicate Argument Structure via CompChain Analysis
ACL 2021
Evaluating Universal Dependency Parser Recovery of Predicate Argument Structure via CompChain Analysis
IJCNLP 2021