Concepedia

Abstract Transformers

Abstract Transformers is an abstract interpretation framework that generalizes transformer models by formalizing their computation as abstract domains and transformers over symbolic representations, enabling sound approximation of attention mechanisms in program analysis.

21

Publications

1.3K

Citations

37

Authors

26

Institutions

Publications per year

2017–2026

8

Parents

Publications

21

An abstract domain for certifying neural networks

Gagandeep Singh, Timon Gehr, Markus Püschel et al. · Proceedings of the ACM on Programming Languages · 2019 · 598 citations · Full text

, , +15

Position Information in Transformers: An Overview

Philipp Dufter, Martin Schmitt, Hinrich Schütze · Computational Linguistics · 2022 · 161 citations · Full text

, , +13

A functional correspondence between monadic evaluators and abstract machines for languages with computational effects

Mads Sig Ager, Olivier Danvy, Jan Midtgaard · Theoretical Computer Science · 2005 · 88 citations

, , +16

Generating precise and concise procedure summaries

Greta Yorsh, Eran Yahav, Satish Chandra · 2008 · 68 citations

, , +14

Automatic modular abstractions for linear constraints

David Monniaux · 2009 · 56 citations · Full text

, , +16

1–5 of 21

Authors

37

  1. JM
    Jan Midtgaard

    Aarhus University, Denmark

    3 publications · 120 citations

    3

    h-index

  2. MS
    Mads Sig Ager

    Aarhus University, Denmark

    3 publications · 120 citations

    3

    h-index

  3. DM
    David Monniaux

    Verimag, France

    3 publications · 107 citations

    3

    h-index

  4. OD
    Olivier Danvy

    Aarhus University, Denmark

    3 publications · 120 citations

    3

    h-index

  5. MV
    Martin Vechev

    ETH Zurich, Switzerland

    3 publications · 642 citations

    3

    h-index

1–5 of 37

Institutions

26

  1. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    3 publications

    107 citations

  2. ETH Zurich

    Zurich, Switzerland

    3 h-index

    11 publications

    2.5K citations

  3. University of Wisconsin–Madison

    Madison, United States

    2 h-index

    7 publications

    200 citations

  4. Tel Aviv University

    Tel Aviv, Israel

    2 h-index

    2 publications

    80 citations

  5. IBM (United States)

    Armonk, United States

    2 h-index

    4 publications

    160 citations

  6. Ludwig-Maximilians-Universität München

    Munich, Germany

    1 h-index

    3 publications

    483 citations

  7. Université Grenoble Alpes

    Saint-Martin-d'Hères, France

    1 h-index

    1 publications

    31 citations

  8. University of Washington

    Seattle, United States

    1 h-index

    1 publications

    19 citations

1–8 of 26

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 4 publications · 658 citations

    4

    h-index

  2. BRICS Report Series

    2 publications · 32 citations

    2

    h-index

  3. ACM SIGPLAN Notices

    2 publications · 32 citations

    2

    h-index

  4. 1

    h-index

  5. 1

    h-index

1–5