1st International Workshop on Neuro-Symbolic Software Engineering

Florentina Voboril presented her Paper “StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners” at the 1st International Workshop on Neuro-Symbolic Software Engineering https://conf.researchr.org/home/icse-2025/nse-2025 in Ottawa, Canada.

This paper introduces StreamLLM, a method that uses Large Language Models (LLMs) to generate streamliners for constraint programming. Streamliners narrow the search space to improve the efficiency of solving complex problems, but typically require extensive manual design or exhaustive testing. StreamLLM instead leverages LLMs to propose effective streamliners dynamically, incorporating realtime feedback and empirical tests within the MiniZinc modeling language. Evaluated across six diverse constraint satisfaction problems, StreamLLM demonstrates substantial runtime reductions, up to 99% improvement in some cases. This work highlights the potential of combining symbolic reasoning with machine learning techniques to enhance constraint-solving speed and adaptability.

Link to the video of the presentation: https://www.youtube.com/watch?v=Q7TzrS1pC-Y

The paper itself is not published yet, but a longer version of this paper is available on arXiv: https://arxiv.org/pdf/2408.10268