Keshav Singh
5 papers · 2019–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (6) π Cross-Pollinator (8)
π
Renaissance Researcher
(8)
πΊοΈ
Taxonomy Completionist
(14)
π£
Hot Topic Early Bird
Conferences
EMNLP (4)
OSDI (1)
Top co-authors
Research topics
Keywords
benchmark evaluation
(1)
similarity search
(1)
natural language processing
(1)
text classification
(1)
argument mining
(1)
attention mechanism
(1)
language model evaluation
(1)
educational technology
(1)
model analysis
(1)
formal verification
(1)
static analysis
(1)
dataset bia
(1)
safety property
(1)
educational ai
(1)
commonsense reasoning
(1)
pretrained language model
(1)
implicit reasoning
(1)
distributed protocol
(1)
inductive invariant
(1)
provenance invariant
(1)
Papers
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols
OSDI 2025
Teach Me How to Argue: A Survey on NLP Feedback Systems in Argumentation
EMNLP 2023
Exploring Methodologies for Collecting High-Quality Implicit Reasoning in Arguments
EMNLP 2021
When Choosing Plausible Alternatives, Clever Hans can be Clever
EMNLP 2019
Improving Evidence Detection by Leveraging Warrants
EMNLP 2019