Keshav Singh
5 papers · 2019–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Silver π Academic Marathon Β· Sprint πΊοΈ Taxonomy Completionist (14) π£ Hot Topic Early Bird π Conference Polyglot Β· Bronze
π§
Keyword Pioneer
π
Renaissance Researcher
(7)
Top co-authors
Research topics
Artificial Intelligence
(2)
Knowledge & Reasoning
(2)
Natural Language Processing
(2)
Applications
(2)
Core AI
(2)
Reasoning
(2)
Computer Science
(1)
Data Science & Analytics
(1)
Interdisciplinary
(1)
Machine Learning
(1)
Mathematics & Optimization
(1)
Core Methods
(1)
Education
(1)
Foundations
(1)
Methods
(1)
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)
pre-trained language model
(1)
educational ai
(1)
commonsense reasoning
(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
Improving Evidence Detection by Leveraging Warrants
EMNLP 2019
When Choosing Plausible Alternatives, Clever Hans can be Clever
EMNLP 2019