13 citations · 22 across the 16 of their papers we have counts for
4 papers · 1 filter
Explaining Hyperproperty Violations
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner +5
Hyperproperties relate multiple computation traces to each other. Model checkers for hyperproperties thus return, in case a system model violates the specification, a set of traces…
Formal Specifications from Natural Language
Christopher Hahn, Frederik Schmitt, Julia J. Tillman +3
We study the generalization abilities of language models when translating natural language into formal specifications with complex semantics. In particular, we fine-tune language m…
Attention Flows for General Transformers
Niklas Metzger, Christopher Hahn, Julian Siber +2
In this paper, we study the computation of how much an input token in a Transformer model influences its prediction. We formalize a method to construct a flow network out of the at…
Information Flow Guided Synthesis (Full Version)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Compositional synthesis relies on the discovery of assumptions, i.e., restrictions on the behavior of the remainder of the system that allow a component to realize its specificatio…