Ian Pratt-Hartmann
Manchester University
H-index: 22
North America-United States
Top articles of Ian Pratt-Hartmann
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders | EACL 2024 (Findings) | Yingji Zhang Danilo S Carvalho Marco Valentino Ian Pratt-Hartmann Andre Freitas | 2024/2/1 |
Adding Transitivity and Counting to the Fluted Fragment | Ian Pratt-Hartmann Lidia Tendera | 2023 | |
Towards controllable natural language inference through lexical inference types | arXiv preprint arXiv:2308.03581 | Yingji Zhang Danilo S Carvalho Ian Pratt-Hartmann Andre Freitas | 2023/8/7 |
On the of Limits of Decision: the Adjacent Fragment of First-Order Logic | arXiv preprint arXiv:2305.03133 | Bartosz Bednarczyk Daumantas Kojelis Ian Pratt-Hartmann | 2023/5/4 |
Learning disentangled semantic spaces of explanations via invertible neural networks | arXiv preprint arXiv:2305.01713 | Yingji Zhang Danilo S Carvalho Ian Pratt-Hartmann André Freitas | 2023/5/2 |
LlaMaVAE: Guiding Large Language Model Generation via Continuous Latent Sentence Spaces | arXiv preprint arXiv:2312.13208 | Yingji Zhang Danilo S Carvalho Ian Pratt-Hartmann André Freitas | 2023/12/20 |
Identifying the limits of transformers when performing model-checking with natural language | Tharindu Madusanka Riza Batista-navarro Ian Pratt-Hartmann | 2023/5 | |
Not all quantifiers are equal: Probing transformer-based language models’ understanding of generalised quantifiers | Tharindu Madusanka Iqra Zahid Hao Li Ian Pratt-Hartmann Riza Theresa Batista-Navarro | 2023/12 | |
Fragments of first-order logic | Ian Pratt-Hartmann | 2023 | |
Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders | NAACL 2024 (Findings) | Yingji Zhang Marco Valentino Danilo S Carvalho Ian Pratt-Hartmann André Freitas | 2024/3 |
Can Transformers Reason in Fragments of Natural Language? | arXiv preprint arXiv:2211.05417 | Viktor Schlegel Kamen V Pavlov Ian Pratt-Hartmann | 2022/11/10 |
Quasi-symbolic explanatory nli via disentanglement: A geometrical examination | arXiv preprint arXiv:2210.06230 | Yingji Zhang Danilo S Carvalho Ian Pratt-Hartmann André Freitas | 2022/10/12 |
Walking on words | arXiv preprint arXiv:2208.08913 | Ian Pratt-Hartmann | 2022/8/18 |
The fluted fragment with transitive relations | Annals of Pure and Applied Logic | Ian Pratt-Hartmann Lidia Tendera | 2022/1/1 |
Do natural language explanations represent valid logical arguments? verifying entailment in explainable nli gold standards | IWCS 2021 | Marco Valentino Ian Pratt-Hartmann André Freitas | 2021/5 |
Fluted logic with counting | Ian Pratt-Hartmann | 2021 | |
Adding Guarded Constructions to the Syllogistic | Ian Pratt-Hartmann | 2021/6/1 |
