14 citations · 53 across the 12 of their papers we have counts for
4 papers · 1 filter
Privacy Policy Analysis through Prompt Engineering for LLMs
Arda Goknil, Femke B. Gelderblom, Simeon Tverdal +2
Privacy policies are often obfuscated by their complexity, which impedes transparency and informed consent. Conventional machine learning approaches for automatically analyzing the…
The Price of Prompting: Profiling Energy Use in Large Language Models Inference
Erik Johannes Husom, Arda Goknil, Lwin Khin Shar +1
In the rapidly evolving realm of artificial intelligence, deploying large language models (LLMs) poses increasingly pressing computational and environmental challenges. This paper…
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan +1
We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of tr…
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Ferhat Erata, Arda Goknil, Ivan Kurtev +1
We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on models. Software development projects require tha…