Jordan Meadows
5 papers · 2024–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π
Conference Polyglot
(3)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
NAACL (2)
AAAI (1)
ACL (1)
EMNLP (1)
Top co-authors
Keywords
large language model
(3)
symbolic engine
(2)
mathematical derivation
(2)
mathematical reasoning
(2)
text generation
(1)
code generation
(1)
formal verification
(1)
latent space
(1)
prompt intervention
(1)
out-of-distribution evaluation
(1)
hallucination detection
(1)
geometric transformation
(1)
neural encoder
(1)
fine-tuned model
(1)
transformer model
(1)
equational reasoning
(1)
expression manipulation
(1)
multi-step derivation
(1)
physics inference
(1)
hallucination control
(1)
Papers
FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
ACL 2026
Controlling Equational Reasoning in Large Language Models with Prompt Interventions
AAAI 2025
Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions
EMNLP 2024
Multi-Operational Mathematical Derivations in Latent Space
NAACL 2024
A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
NAACL 2024