Alice Tarzariol

University of Klagenfurt Klagenfurt, Austria

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

Florentina Voboril (1)Martin Gebser (1)Stefan Szeider (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

Alice Tarzariol

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)