Concepedia

Deep Inference

Deep Inference is a proof-theoretic methodology in structural proof theory that allows inference rules to operate at any depth within logical formulae, as opposed to only at the root of proof trees, thereby enabling more refined analytic proofs and finer control over proof construction through local rewriting.

308

Publications

16.1K

Citations

1.2K

Authors

357

Institutions

Publications per year

2017–2026

244

Parents

Publications

308

Random Walk Inference and Learning in A Large Scale Knowledge Base

Ni Lao, Tom M. Mitchell, William W. Cohen · Figshare · 2018 · 521 citations · Full text

, , +15

DeepThings: Distributed Adaptive Deep Learning Inference on Resource-Constrained IoT Edge Clusters

Zhuoran Zhao, Kamyar Mirzazad Barijough, Andreas Gerstlauer · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018 · 484 citations

, , +17

Accurate deep neural network inference using computational phase-change memory

Nature Communications · 2020 · 443 citations · Full text

, , +16

DeepX: A Software Accelerator for Low-Power Deep Learning Inference on Mobile Devices

Nicholas D. Lane, Sourav Bhattacharya, Petko Georgiev et al. · 2016 · 402 citations · Full text

, , +17

Accurate deep neural network inference using computational phase-change memory

Vinay Joshi, Manuel Le Gallo, Simon Haefeli et al. · RePEc: Research Papers in Economics · 2020 · 395 citations · Full text

, , +16

1–5 of 308

Authors

1.2K

  1. KF
    Karl Friston

    University College London, United Kingdom

    7 publications · 404 citations

    7

    h-index

  2. LB
    Luca Benini

    University of Bologna, Italy

    6 publications · 209 citations

    6

    h-index

  3. AS
    Abu Sebastian

    IBM Research - Zurich, Switzerland

    6 publications · 880 citations

    6

    h-index

  4. CS
    Christian Szegedy

    Google (United States), United States

    6 publications · 217 citations

    6

    h-index

  5. ML
    Manuel Le Gallo

    IBM Research - Zurich, Switzerland

    5 publications · 869 citations

    5

    h-index

1–5 of 1.2K

Institutions

357

  1. ETH Zurich

    Zurich, Switzerland

    10 h-index

    21 publications

    2K citations

  2. Google (United States)

    Mountain View, United States

    10 h-index

    29 publications

    702 citations

  3. University College London

    London, United Kingdom

    9 h-index

    24 publications

    1.6K citations

  4. University of Cambridge

    Cambridge, United Kingdom

    7 h-index

    8 publications

    1.1K citations

  5. IBM Research - Zurich

    Rüschlikon, Switzerland

    7 h-index

    50 publications

    12.9K citations

  6. Massachusetts Institute of Technology

    Cambridge, United States

    6 h-index

    13 publications

    1.2K citations

  7. Chinese Academy of Sciences

    Beijing, China

    6 h-index

    16 publications

    445 citations

  8. University of Bologna

    Bologna, Italy

    6 h-index

    17 publications

    1.9K citations

1–8 of 357

Venues

  1. arXiv (Cornell University)

    Repository · 48 publications · 1.9K citations

    23

    h-index

  2. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 5 publications · 124 citations

    5

    h-index

  3. 3

    h-index

  4. ACM Transactions on Embedded Computing Systems

    TECS · 3 publications · 162 citations

    3

    h-index

  5. Neural Information Processing Systems

    Conference · 3 publications · 66 citations

    3

    h-index

1–5