Jordan Meadows

5 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

NAACL ×2 AAAI ×1 ACL ×1 EMNLP ×1

Frequent coauthors

Marco Valentino

DBLP profile ↗ORCID search ↗

×1

Papers

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
ACL 2026 · Jordan Meadows
Controlling Equational Reasoning in Large Language Models with Prompt Interventions
AAAI 2025 · Jordan Meadows
A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
NAACL 2024 · Jordan Meadows
Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions
EMNLP 2024 · Jordan Meadows
Multi-Operational Mathematical Derivations in Latent Space
NAACL 2024 ·
Marco Valentino
DBLP profile ↗ORCID search ↗