Research.
Research.
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)
Constraint Programming (CP)
Boolean satisfiability (SAT)
Graphs
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