Ian Pratt-Hartmann
7 papers · 2022–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π 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)
Papers
Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems
ACL 2025
Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders
EACL 2024
Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models
ACL 2024
Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders
NAACL 2024
Identifying the limits of transformers when performing model-checking with natural language
EACL 2023
Not all quantifiers are equal: Probing Transformer-based language modelsβ understanding of generalised quantifiers
EMNLP 2023
Can Transformers Reason in Fragments of Natural Language?
EMNLP 2022