3 citations · 3 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Specification-Guided Generation for Large Language Models
Alessandro Previti, Konstantinos Vandikas, Mario Alviano +6
Large language models (LLMs) can generate structured outputs, but existing constrained-decoding methods mainly enforce syntax and cannot directly enforce satisfaction of a formal s…
cs.AI2024
Multi-agent transformer-accelerated RL for satisfaction of STL specifications
Albin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis Feljan +1
One of the main challenges in multi-agent reinforcement learning is scalability as the number of agents increases. This issue is further exacerbated if the problem considered is te…