| Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks J Meadows, A Freitas Transactions of the Association for Computational Linguistics 11, 1162-1184, 2023 | 17* | 2023 |
| A symbolic framework for systematic evaluation of mathematical reasoning with transformers J Meadows, M Valentino, D Teney, A Freitas arXiv preprint arXiv:2305.12563, 2023 | 9 | 2023 |
| Similarity-based equational inference in physics J Meadows, A Freitas Physical Review Research 3 (4), L042010, 2021 | 8 | 2021 |
| PhysNLU: A Language Resource for Evaluating Natural Language Understanding and Explanation Coherence in Physics J Meadows, Z Zhou, A Freitas LREC, 2022 | 6 | 2022 |
| Multi-operational mathematical derivations in latent space M Valentino, J Meadows, L Zhang, A Freitas arXiv preprint arXiv:2311.01230, 2023 | 4 | 2023 |
| Generating mathematical derivations with large language models J Meadows, M Valentino, A Freitas arXiv preprint arXiv:2307.09998, 2023 | 4 | 2023 |
| Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions J Meadows, T James, A Freitas arXiv preprint arXiv:2404.18384, 2024 | | 2024 |
André FreitasUniversity of Manchester | Idiap Research InstituteEmail verificata su manchester.ac.uk
