Scholar
Ian Pratt-Hartmann
Google Scholar ID: M1xicaEAAAAJ
School of Computer Science, University of Manchester
Computational logic
computational complexity
natural language
topology
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
792
H-index
14
i10-index
21
Publications
20
Co-authors
0
Publications
2 items
Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models
2025
Cited
0
Formal Semantic Geometry over Transformer-based Variational AutoEncoder
2022
Cited
4
