Martin Riddell
3 papers
· 2024–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(14)
π
Conference Polyglot
(2)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(15)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π₯
Mega-Team
(35)
Conferences
EMNLP (2)
ACL (1)
Top co-authors
Keywords
logical reasoning
(2)
natural language inference
(1)
model evaluation
(1)
code generation
(1)
first-order logic
(1)
benchmark dataset
(1)
data leakage
(1)
reasoning capability
(1)
reasoning chain
(1)
natural language reasoning
(1)
benchmark contamination
(1)
large language model
(1)
pretraining datum
(1)
natural language proof
(1)
few-shot learning
(1)
nl-fol translation
(1)