Similarity-Based Equational Inference in Physics. - Jordan Meadows; André Freitas (CoRR, 2021)

PhysNLU: A Language Resource for Evaluating Natural Language Understanding and Explanation Coherence in Physics. - Jordan Meadows; Zili Zhou; André Freitas (LREC, 2022)

A Survey in Mathematical Language Processing. - Jordan Meadows; André Freitas (CoRR, 2022)

A Symbolic Framework for Systematic Evaluation of Mathematical Reasoning with Transformers. - Jordan Meadows; Marco Valentino; Damien Teney; André Freitas (CoRR, 2023)

Generating Mathematical Derivations with Large Language Models. - Jordan Meadows; Marco Valentino; André Freitas (CoRR, 2023)

Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks. - Jordan Meadows; André Freitas (Trans. Assoc. Comput. Linguistics, 2023)

Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions. - Jordan Meadows; Tamsin James; André Freitas (EMNLP (Findings), 2024)

A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers. - Jordan Meadows; Marco Valentino; Damien Teney; André Freitas (NAACL-HLT, 2024)

Multi-Operational Mathematical Derivations in Latent Space. - Marco Valentino; Jordan Meadows; Lan Zhang; André Freitas (NAACL-HLT, 2024)

Controlling Equational Reasoning in Large Language Models with Prompt Interventions. - Jordan Meadows; Marco Valentino; André Freitas (AAAI, 2025)