Michael Sullivan
Post-Doc Researcher (Saarland University)
msullivan at lst dot uni-saarland dot de
About me
I am a post-doc in the Computational Linguistics Group at UdS. My research interests currently lie in reinforcement learning, agentic tool use, and controlled generation with LLMs. 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.
Education
PhD in Linguistics
Semantics/Pragmatics Track
Thesis: Language Modeling over Logical Forms
University at Buffalo (2020-2025)
MS in Computer Science and Engineering
Research/Honors Track
MS Project: Probing NLI Models with External Negation
University at Buffalo (2023-2024)
BA in Linguistics
With Research Distinction
Minors: Spanish, German
The Ohio State University (2016-2019)
Peer-Reviewed Publications (pre-prints on Google Scholar)
Michael Sullivan and Alexander Koller (2026). GRPO is Secretly a Process Reward Model. In Forty-third International Conference on Machine Learning. (in print)
Michael Sullivan, Mareike Hartmann, and Alexander Koller (2025). Procedural Environment Generation for Tool-Use Agents. In Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing.
Nicola Horst, Davide Mazzaccara, Antonia Schmidt, Michael Sullivan, Filippo Momentè, Luca Franceschetti, Philipp Sadler, Sherzod Hakimov, Alberto Testoni, Raffaella Bernardi, Raquel Fernández, Alexander Koller, Oliver Lemon, David Schlangen, Mario Giulianelli, and Alessandro Suglia (2025). Playpen: An Environment for Exploring Learning Through Conversational Interaction. In Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing.
Luisa Geiger, Mareike Hartmann, Michael Sullivan, and Alexander Koller (2025). Evaluating Spatiotemporal Consistency in Automatically Generated Sewing Instructions. In Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing.
Michael Sullivan (2025). Exploring Graph Representations of Logical Forms for Language Modeling. In Findings of the Association for Computational Linguistics: ACL 2025.
Michael Sullivan (2025). Language Modeling over Logical Forms (Doctoral dissertation, University at Buffalo).
Michael Sullivan (2024). It is not True that Transformers are Inductive Learners: Probing NLI Models with External Negation. In Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers), 1924 - 1945.
Michael Sullivan, Navid Madani, Sougata Saha, and Rohini Srihari (2023). Positional Transformers for Claim Span Identification. In Forum for Information Retrieval Evaluation (Working Notes).
Sougata Saha, Michael Sullivan, and Rohini Srihari (2023). Hate Speech Detection in Low Resource Indo-Aryan Languages. In Forum for Information Retrieval Evaluation (Working Notes).
Michael Sullivan, Mohammed N. Yasin, and Cassandra L. Jacobs (2023). University at Buffalo at SemEval-2023 Task 11: MASDA–Modelling Annotator Sensibilities through DisAggregation. In Proceedings of the The 17th International Workshop on Semantic Evaluation (SemEval-2023).
Nominated for Best System Paper Award at SemEval 2023