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.
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)
Generating Streamlining Constraints with Large Language Models
Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
arXiv preprint, January 2025
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, ON, Canada
SAT-based Local Improvement for the Closest String Problem
Florentina Voboril
Master's Thesis, Technische Universität Wien, 2024