Ian Pratt-Hartmann
7 papers
· 2022–2025
· 4 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(8)
π§
Keyword Pioneer
π
Conference Polyglot
(4)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(13)
π
Keyword Champion
(2)
β
The Questioner
Conferences
ACL (2)
EACL (2)
EMNLP (2)
NAACL (1)
Top co-authors
Keywords
logical reasoning
(3)
natural language inference
(3)
transformer model
(3)
logical semantics
(2)
natural language reasoning
(2)
model checking
(2)
formal reasoning
(2)
variational autoencoder
(2)
satisfiability problem
(2)
latent space
(1)
generalization capacity
(1)
textual entailment
(1)
transformer language model
(1)
out-of-distribution datum
(1)
semantic control
(1)
numerical satisfiability
(1)
discrete latent space
(1)
graph neural network
(1)
generalized quantifier
(1)
logical inference
(1)