1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2026
Privilege and confidentiality in generative AI workflows
Václav Janeček, Thomas Melham
Generative AI (GenAI) systems store and process client data in three distinct ways: in the model's parameters through training and memorisation, in the context window during a live…
cs.FL2021★ 1 cited
Active Learning of Abstract System Models from Traces using Model Checking [Extended]
Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening
We present a new active model-learning approach to generating abstractions of a system implementation, as finite state automata (FSAs), from execution traces. Given an implementati…