Florentina Voboril

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)Tool Use & Agents (1)

Frequent co-authors

Martin Gebser (1)Stefan Szeider (1)Alice Tarzariol (1)

Papers (1)

Apr 21, 2026

Apr 21, 2026·also University of Klagenfurt Klagenfurt

Streamliners for Answer Set Programming

LLMs can automatically discover constraints that dramatically accelerate Answer Set Programming solvers, achieving up to 5x speedups on standard benchmarks.

Florentina Voboril, Martin Gebser, Stefan Szeider +1

Code Generation & Program Synthesis Reasoning & Chain-of-Thought Tool Use & Agents

Search

Florentina Voboril

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)