Author

Jordan Meadows

Observed name: Meadows, Jordan

Institution: University of Manchester

Observed institutions: University of Manchester, Idiap Research Institute

ORCID: 0000-0001-9472-0962

Observed ORCID: 0000-0001-9472-0962

OpenAlex ID: A5091753287

A Survey in Mathematical Language Processing

2022 · Meadows, Jordan, Freitas, Andre · arXiv (Cornell University) · 9

PDF

Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions

2024 · Jordan Meadows, Tamsin Emily James, et al. · Findings of the Association for Computational Linguistics: EMNLP (Findings of EMNLP) · 3

PDF

Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks

2023 · Jordan Meadows, André Freitas · Transactions of the Association for Computational Linguistics · 3

PDF

Controlling Equational Reasoning in Large Language Models with Prompt Interventions

2025 · Jordan Meadows, Marco Valentino, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2

PDF

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean

2026 · Jordan Meadows, Lan Zhang, et al. · Proceedings of the conference - Association for Computational Linguistics. Meeting · 1

PDF

A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers

2024 · Jordan Meadows, Marco Valentino, et al. · Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT) · 1

PDF

2021 · Jordan Meadows, André Freitas · Physical Review Research · 1

PDF

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean

2026 · Association for Computational Linguistics 2026, Freitas, Andre, et al. · Underline Science Inc.

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean

2026 · Meadows, Jordan, Zhang, Lan, et al. · arXiv (Cornell University)

PDF

Autoformalization & Mathematical Reasoning

2026 · Lan Zhang, Marco Valentino, et al.

PDF

Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning

2025 · Zhang, Lan, Valentino, Marco, et al. · arXiv (Cornell University)

PDF

Physics-Inspired Mathematical Reasoning with Transformers

2024 · Meadows, Jordan · Research Explorer (The University of Manchester)

Multi-Operational Mathematical Derivations in Latent Space

2024 · Marco Valentino, Jordan Meadows, et al. · Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT)

PDF

Multi-Operational Mathematical Derivations in Latent Space

2023 · Valentino, Marco, Meadows, Jordan, et al. · arXiv (Cornell University)

PDF

A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers

2023 · Meadows, Jordan, Valentino, Marco, et al. · arXiv (Cornell University)

PDF

PhysNLU: A Language Resource for Evaluating Natural Language Understanding and Explanation Coherence in Physics

2022 · Jordan Meadows, Zili Zhou, et al. · Language Resources and Evaluation Conference (LREC)

PDF