research
∙
06/15/2023
Counterfactuals Modulo Temporal Logics
Lewis' theory of counterfactuals is the foundation of many contemporary ...
share
research
∙
06/04/2022
Explaining Hyperproperty Violations
Hyperproperties relate multiple computation traces to each other. Model ...
research
∙
06/04/2022
Formal Specifications from Natural Language
We study the generalization abilities of language models when translatin...
research
∙
05/30/2022
Attention Flows for General Transformers
In this paper, we study the computation of how much an input token in a ...
research
∙
05/29/2021
