Lewis' theory of counterfactuals is the foundation of many contemporary
...
Hyperproperties relate multiple computation traces to each other. Model
...
We study the generalization abilities of language models when translatin...
In this paper, we study the computation of how much an input token in a
...
We present a causality-based algorithm for solving two-player reachabili...