Jordan Meadows
5 papers · 2024–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(13)
Top co-authors
Research topics
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
A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
NAACL 2024
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