Concepedia

Proof Abstraction

Proof Abstraction is a singular academic contribution, such as a method, model, framework, theory, construct, dataset, task, or metric, that represents a distilled, generalized instantiation of proof-related knowledge or reasoning within a scholarly work.

3

Publications

218

Citations

6

Authors

5

Institutions

Publications per year

2017–2026

0

Parents

Publications

3

1–3 of 3

Authors

6

  1. NE
    Niklas Eén

    University of California, Berkeley, United States

    1 publications · 45 citations

    1

    h-index

  2. AT
    Alwen Tiu

    Australian National University, Australia

    1 publications · 156 citations

    1

    h-index

  3. DM
    Dale Miller

    University of Pennsylvania, United States

    1 publications · 156 citations

    1

    h-index

  4. NA
    Nina Amla

    Cadence Design Systems (United States), United States

    1 publications · 45 citations

    1

    h-index

  5. AM
    Alan Mishchenko

    University of California, Berkeley, United States

    1 publications · 45 citations

    1

    h-index

1–5 of 6

Institutions

5

  1. École Polytechnique

    Palaiseau, France

    1 h-index

    1 publications

    156 citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    1 h-index

    1 publications

    156 citations

  3. Pennsylvania State University

    State College, United States

    1 h-index

    1 publications

    156 citations

  4. University of California, Berkeley

    Berkeley, United States

    1 h-index

    2 publications

    90 citations

  5. Cadence Design Systems (United States)

    San Jose, United States

    1 h-index

    1 publications

    45 citations

1–5 of 5

Venues

  1. ACM Transactions on Computational Logic

    TOCL · 1 publications · 156 citations

    1

    h-index

  2. Formal Methods in Computer-Aided Design

    Conference · 1 publications · 45 citations

    1

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 17 citations

    1

    h-index

1–3