I am actively engaged as a PhD student at the Algorithms and Complexity Group at the Technical University of Vienna, where I explore how Large Language Models (LLMs) can be used to solve Constraint Programming instances more efficiently. Topics of interest:
Large Language Models (LLMs)
LLM-Agents
Constraint Programming (CP)
Combinatorial Problems
Algorithms and Complexity
For a complete list of my publications, please visit my Google Scholar profile.
Generating Streamlining Constraints with Large Language Models
Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Journal of Artificial Intelligence Research, volume 84, 2025.
Balancing Latin Rectangles with LLM-Generated Streamliners
Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
in the 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Glasgow, Scotland
StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners
Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
in 2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE), Ottawa, Canada
May 2026: CAIML Symposium (Poster), Vienna
Apr 2026: Invited Talk: StreamLLM: Enhancing Constraint Programming with LLM-Generated Streamliners, Neuro-Symbolic Wednesdays, Centaur AI Institute
Jan 2026: AAAI Journal Track (Pre-recorded presentation)
Aug 2025: CP 2025, Glasgow
Jul 2025: Bilateral Al Summer School (Poster), Klagenfurt
May 2025: NSE Workshop, Ottawa
May 2024: CAIML Symposium, Vienna
Presenting my research at the CAIML Symposium 2024, Vienna (Picture: Amélie Chapalain)
Algorithms and Data Structures, TU Wien (Teaching Assistant, Summer term 2025)
Program Committee for CP 2026
May 2022 – Jan 2023: Student member of an appointment committee at TU Wien