Jordan Meadows
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean. | Jordan Meadows, Lan Zhang, Andr Freitas |
| 2025 | AAAI | Controlling Equational Reasoning in Large Language Models with Prompt Interventions. | Jordan Meadows, Marco Valentino, Andr Freitas |
| 2024 | EMNLP | Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions. | Jordan Meadows, Tamsin James, Andr Freitas |
| 2024 | NAACL | A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers. | Jordan Meadows, Marco Valentino, Damien Teney, Andr Freitas |
| 2024 | NAACL | Multi-Operational Mathematical Derivations in Latent Space. | Marco Valentino, Jordan Meadows, Lan Zhang, Andr Freitas |
| 2022 | LREC | PhysNLU: A Language Resource for Evaluating Natural Language Understanding and Explanation Coherence in Physics. | Jordan Meadows, Zili Zhou, Andr Freitas |