22 citations · 34 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.AI2024
Process Mining Embeddings: Learning Vector Representations for Petri Nets
Juan G. Colonna, Ahmed A. Fares, Márcio Duarte +1
Process Mining offers a powerful framework for uncovering, analyzing, and optimizing real-world business processes. Petri nets provide a versatile means of modeling process behavio…
cs.SE2024
Generative transformations and patterns in LLM-native approaches for software verification and falsification
Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous +3
The emergence of prompting as the dominant paradigm for leveraging Large Language Models (LLMs) has led to a proliferation of LLM-native software, where application behavior arises…