| Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks J Meadows, A Freitas TACL, 2023 | 25* | 2023 |
| A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers J Meadows, M Valentino, D Teney, A Freitas NAACL, 2024 | 12* | 2024 |
| Controlling Equational Reasoning in Large Language Models with Prompt Interventions J Meadows, M Valentino, A Freitas AAAI, 2025 | 11* | 2025 |
| Similarity-based equational inference in physics J Meadows, A Freitas Physical Review Research, 2021 | 10 | 2021 |
| PhysNLU: A Language Resource for Evaluating Natural Language Understanding and Explanation Coherence in Physics J Meadows, Z Zhou, A Freitas LREC, 2022 | 9 | 2022 |
| Multi-operational mathematical derivations in latent space M Valentino, J Meadows, L Zhang, A Freitas NAACL, 2024 | 5 | 2024 |
| Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions J Meadows, T James, A Freitas EMNLP Findings, 2024 | 1 | 2024 |
| Physics-Inspired Mathematical Reasoning with Transformers J Meadows University of Manchester, 2024 | | 2024 |
André FreitasUniversity of Manchester | Idiap Research InstituteAdresse e-mail validée de manchester.ac.uk