Ian Pratt-Hartmann
Scholar

Ian Pratt-Hartmann

Google Scholar ID: M1xicaEAAAAJ
School of Computer Science, University of Manchester
Computational logiccomputational complexitynatural languagetopology
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
792
 
H-index
14
 
i10-index
21
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
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
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)