PPaperPicks

Jordan Meadows

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

DBLP profile ↗ORCID search ↗

Venues

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

Frequent coauthors

André Freitas
×5
Marco Valentino
×3
Lan Zhang
×2
Damien Teney
×1
Tamsin James
×1

Papers

  1. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
    ACL 2026 · Jordan Meadows,
    Lan Zhang
    ,
    André Freitas
  2. Controlling Equational Reasoning in Large Language Models with Prompt Interventions
    AAAI 2025 · Jordan Meadows,
    Marco Valentino
    ,
    André Freitas
  3. A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
    NAACL 2024 · Jordan Meadows,
    Marco Valentino
    ,
    Damien Teney
    ,
    André Freitas
  4. Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions
    EMNLP 2024 · Jordan Meadows,
    Tamsin James
    ,
    André Freitas
  5. Multi-Operational Mathematical Derivations in Latent Space
    NAACL 2024 ·
    Marco Valentino
    , Jordan Meadows,
    Lan Zhang
    ,
    André Freitas