Short Bio

Florentina Voboril is a PhD student and Project Assistant at the Algorithms and Complexity group at TU Wien. She holds a Master’s degree in Logic and Computation and a Bachelor’s degree in Software and Information Engineering, both from TU Wien, where she also completed the Excellence program “Bachelor with Honors.” Her academic path includes an Erasmus exchange semester at KTH Royal Institute of Technology in Stockholm and a research internship at the Max Planck Institute for Informatics in Saarbrücken.

Beyond academia, she is passionate about science outreach and education. As a long-standing trainer for coding and robotics workshops for children and a role model for the LEA initiative, she is committed to empowering young people, especially girls, to pursue careers in STEM.

Website: https://www.florentina-voboril.com/

PhD Project - Enhancing Constraint Programming with Large Language Models

Supervised by Stefan Szeider

Florentina researches how large language models can help to solve constraint programming problems more efficiently. Her approach is to use the creativity of LLMs to propose so-called streamliners. Streamliners are additional constraints that can reduce the search space and thus improve the speed of solving a problem. However, the answers of an LLM are not always correct. Therefore, part of Florentina’s work is to implement a system to find out which of the proposed streamliners should be selected.

Publications and Conferences

• Voboril, F., Ramaswamy, V. P., & Szeider, S. (2024). Realtime generation of streamliners with large language models. arXiv preprint arXiv:2408.10268.
• Accepted paper at the NSE workshop