Post-Doc Researcher (Saarland University)
msullivan at lst dot uni-saarland dot de
I am a post-doc in the Computational Linguistics Group at UdS. My research interests currently lie in logical reasoning and tool use with LLMs: past projects include research on shallow heuristics that NLI models leverage (instead of using actual reasoning ability); language models over logical-form representations (rather than text); and the automatic generation of tool use environments for training LLM agents with reinforcement learning.
My PhD is in Linguistics (under JP Koenig) and my MSc is in Computer Science and Engineering (under Rohini K Srihari)—both at the University at Buffalo. My Erdős number is four.
Semantics/Pragmatics Track
Thesis: Language Modeling over Logical Forms
University at Buffalo (2020-2025)
Research/Honors Track
MS Project: Probing NLI Models with External Negation
University at Buffalo (2023-2024)
With Research Distinction
Minors: Spanish, German
The Ohio State University (2016-2019)
Nominated for Best System Paper Award at SemEval 2023