3 citations · 3 across the 2 of their papers we have counts for
3 papers
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…
Security Analysis of Top-Ranked mHealth Fitness Apps: An Empirical Study
Albin Forsberg, Leonardo Horn Iwaya
Mobile health applications (mHealth apps), particularly in the health and fitness category, have experienced an increase in popularity due to their convenience and availability. Ho…
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…