On the public citation graph

The simple essence of automatic differentiation

0 signed · 127 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/10722298_3openalex-snapshot

Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell

inferredcites →https://doi.org/10.1007/3-540-10861-0openalex-snapshot

Automatic Differentiation: Techniques and Applications

inferredcites →https://doi.org/10.1007/3-540-17184-3_44openalex-snapshot

Cartesian closed categories and typed λ-calculi

inferredcites →https://doi.org/10.1007/3-540-47797-7openalex-snapshot

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

inferredcites →https://doi.org/10.1007/3-540-47797-7_5openalex-snapshot

Calculating Functional Programs

inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot

Categories for the Working Mathematician

inferredcites →https://doi.org/10.1007/s10107-006-0042-zopenalex-snapshot

Optimal Jacobian accumulation is NP-complete

inferredcites →https://doi.org/10.1007/s10990-008-9037-1openalex-snapshot

Nesting forward-mode AD in a functional framework

inferredcites →https://doi.org/10.1016/j.scico.2012.07.012openalex-snapshot

Typing linear algebra: A biproduct-oriented approach

inferredcites →https://doi.org/10.1017/cbo9780511609619openalex-snapshot

Compiling with Continuations

inferredcites →https://doi.org/10.1017/s095679689922326xopenalex-snapshot

Algebra of Programming by Richard Bird and Oege de Moor, Prentice Hall, 1996 (dated 1997).

inferredcites →https://doi.org/10.1023/a:1011501232197openalex-snapshot

inferredcites →https://doi.org/10.1038/323533a0openalex-snapshot

Learning representations by back-propagating errors

inferredcites →https://doi.org/10.1038/nature14539openalex-snapshot

Deep learning

inferredcites →https://doi.org/10.1057/jors.1991.155openalex-snapshot

Introduction to Algorithms

inferredcites →https://doi.org/10.1090/s0002-9947-1983-0682717-1openalex-snapshot

Computability and Noncomputability in Classical Analysis

inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot

Lecture Notes in Computer Science 1205

inferredcites →https://doi.org/10.1109/lics.2019.8785665openalex-snapshot

Backprop as Functor: A compositional perspective on supervised learning

inferredcites →https://doi.org/10.1112/blms/6.1.115openalex-snapshot

CATEGORIES FOR THE WORKING MATHEMATICIAN

inferredcites →https://doi.org/10.1137/1.9780898717761openalex-snapshot

Evaluating Derivatives

inferredcites →https://doi.org/10.1145/1017472.1017481openalex-snapshot

Functional pearl

inferredcites →https://doi.org/10.1145/1190215.1190242openalex-snapshot

Lazy multivariate higher-order forward-mode AD

inferredcites →https://doi.org/10.1145/1190216.1190242openalex-snapshot

Lazy multivariate higher-order forward-mode AD

inferredcites →https://doi.org/10.1145/1291151.1291179openalex-snapshot

Compiling with continuations, continued

inferredcites →https://doi.org/10.1145/1330017.1330018openalex-snapshot

Reverse-mode AD in a functional framework

inferredcites →https://doi.org/10.1145/1596550.1596579openalex-snapshot

Beautiful differentiation

inferredcites →https://doi.org/10.1145/1596638.1596653openalex-snapshot

Type-safe observable sharing in Haskell

inferredcites →https://doi.org/10.1145/1863523.1863529openalex-snapshot

A generic deriving mechanism for Haskell

inferredcites →https://doi.org/10.1145/2647868.2654889openalex-snapshot

Caffe

inferredcites →https://doi.org/10.1145/3110271openalex-snapshot

Compiling to categories

inferredcites →https://doi.org/10.1145/322169.322183openalex-snapshot

Continuation-Based Program Transformation Strategies

inferredcites →https://doi.org/10.1145/3236765openalex-snapshot

The simple essence of automatic differentiation

inferredcites →https://doi.org/10.1145/355586.364791openalex-snapshot

A simple automatic derivative evaluation program

inferredcites →https://doi.org/10.1145/773184.773202openalex-snapshot

Defunctionalization at work

inferredcites →https://doi.org/10.1145/800194.805852openalex-snapshot

Definitional interpreters for higher-order programming languages

inferredcites →https://doi.org/10.1201/9780429501906openalex-snapshot

Calculus On Manifolds

inferredcites →https://doi.org/10.21236/ada113349openalex-snapshot

Computation of Matrix Chain Products. Part I, Part II.

inferredcites →https://doi.org/10.2140/pjm.1966.17.497openalex-snapshot

Characterization of the subdifferentials of convex functions

inferredcites →https://doi.org/10.2172/5254402openalex-snapshot

Compiling fast partial derivatives of functions given by algorithms

inferredcites →https://doi.org/10.48550/arxiv.1605.08695openalex-snapshot

TensorFlow: A system for large-scale machine learning

inferredcites →https://doi.org/10.5860/choice.36-1018openalex-snapshot

Conceptual mathematics: a first introduction to categories

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/apxr.202200118openalex-snapshot

Differentiable Imaging: A New Tool for Computational Optical Imaging

inferred← citeshttps://doi.org/10.1007/978-3-030-17184-1_19openalex-snapshot

Fixing Incremental Computation

inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_3openalex-snapshot

On the Versatility of Open Logical Relations

inferred← citeshttps://doi.org/10.1007/978-3-030-45231-5_17openalex-snapshot

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

inferred← citeshttps://doi.org/10.1007/978-3-030-45989-5_24openalex-snapshot

ADS4all: Democratizing Authenticated Data Structures

inferred← citeshttps://doi.org/10.1007/978-3-030-67438-0_2openalex-snapshot

On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages

inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_22openalex-snapshot

Reverse AD at Higher Types: Pure, Principled and Denotationally Correct

inferred← citeshttps://doi.org/10.1007/978-3-030-85165-1_11openalex-snapshot

Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra

inferred← citeshttps://doi.org/10.1007/978-3-030-93247-3_52openalex-snapshot

Generalized Optimization: A First Step Towards Category Theoretic Learning Theory

inferred← citeshttps://doi.org/10.1007/978-3-030-99336-8_1openalex-snapshot

Categorical Foundations of Gradient-Based Learning

inferred← citeshttps://doi.org/10.1007/978-3-031-08020-3openalex-snapshot

The Road to General Intelligence

inferred← citeshttps://doi.org/10.1007/978-3-031-15298-6openalex-snapshot

Logic, Language, Information, and Computation

inferred← citeshttps://doi.org/10.1007/978-3-031-16912-0_5openalex-snapshot

Folding over Neural Networks

inferred← citeshttps://doi.org/10.1007/978-3-031-29082-4_3openalex-snapshot

Curiously Empty Intersection of Proof Engineering and Computational Sciences

inferred← citeshttps://doi.org/10.1007/978-981-15-7775-8_44openalex-snapshot

Control and Composability in Deep Learning — Brief Overview by a Learner

inferred← citeshttps://doi.org/10.1007/978-981-97-2300-3_6openalex-snapshot

Declarative Pearl: Rigged Contracts

inferred← citeshttps://doi.org/10.1007/s00366-026-02430-1openalex-snapshot

Me-fPINNs: multi-model ensemble fractional physics-informed neural networks for solving fractional integro-differential equations

inferred← citeshttps://doi.org/10.1007/s10485-023-09762-9openalex-snapshot

Algebraic Dynamical Systems in Machine Learning

inferred← citeshttps://doi.org/10.1007/s11802-026-6155-5openalex-snapshot

Checkpointing-Assisted Automatic Differentiation Full Waveform Inversion

inferred← citeshttps://doi.org/10.1007/s11831-019-09396-yopenalex-snapshot

Automatic Differentiation for Solid Mechanics

inferred← citeshttps://doi.org/10.1016/j.apor.2025.104707openalex-snapshot

Fully differentiable boundary element solver for hydrodynamic sensitivity analysis of wave-structure interactions

inferred← citeshttps://doi.org/10.1016/j.cageo.2021.104833openalex-snapshot

PINNeik: Eikonal solution using physics-informed neural networks

inferred← citeshttps://doi.org/10.1016/j.cma.2021.113817openalex-snapshot

Efficient computation of nonlinear isogeometric elements using the adjoint method and algorithmic differentiation

inferred← citeshttps://doi.org/10.1016/j.cor.2020.105185openalex-snapshot

Poisoning finite-horizon Markov decision processes at design time

inferred← citeshttps://doi.org/10.1016/j.egyai.2022.100172openalex-snapshot

Dynamic energy system modeling using hybrid physics-based and machine learning encoder–decoder models

inferred← citeshttps://doi.org/10.1016/j.gsd.2024.101172openalex-snapshot

Physics-informed neural networks in groundwater flow modeling: Advantages and future directions

inferred← citeshttps://doi.org/10.1016/j.scico.2023.103010openalex-snapshot

Forward- or reverse-mode automatic differentiation: What's the difference?

inferred← citeshttps://doi.org/10.1017/s0956796825000048openalex-snapshot

Domain-specific tensor languages

inferred← citeshttps://doi.org/10.1017/s0956796825100051openalex-snapshot

Parallel dual-numbers reverse AD

inferred← citeshttps://doi.org/10.1017/s096012952300018xopenalex-snapshot

CHAD for expressive total languages

inferred← citeshttps://doi.org/10.1017/s0960129524000215openalex-snapshot

Automatic differentiation for ML-family languages: Correctness via logical relations

inferred← citeshttps://doi.org/10.1017/s0960129524000331openalex-snapshot

Differentiable causal computations via delayed trace (extended version)

inferred← citeshttps://doi.org/10.1029/2025jb031624openalex-snapshot

Ambient Noise Full Waveform Inversion With Neural Operators

inferred← citeshttps://doi.org/10.1093/gji/ggae342openalex-snapshot

Deep neural Helmholtz operators for 3-D elastic wave propagation and inversion

inferred← citeshttps://doi.org/10.1109/cgo57630.2024.10444787openalex-snapshot

A Tensor Algebra Compiler for Sparse Differentiation

inferred← citeshttps://doi.org/10.1109/iecon58223.2025.11221636openalex-snapshot

Representation of Jacobian Matrix Using Computational Graphs And Its Applications

inferred← citeshttps://doi.org/10.1109/jstsp.2022.3223759openalex-snapshot

Parallel and Memory-Efficient Distributed Edge Learning in B5G IoT Networks

inferred← citeshttps://doi.org/10.1109/lics.2019.8785670openalex-snapshot

Differentiable Causal Computations via Delayed Trace

inferred← citeshttps://doi.org/10.1109/sds60720.2024.00040openalex-snapshot

ScalaGrad: A Statically Typed Automatic Differentiation Library for Safer Data Science

inferred← citeshttps://doi.org/10.1145/3341700openalex-snapshot

Demystifying differentiable programming: shift/reset the penultimate backpropagator

inferred← citeshttps://doi.org/10.1145/3341701openalex-snapshot

Efficient differentiable programming in a functional array-processing language

inferred← citeshttps://doi.org/10.1145/3371106openalex-snapshot

A simple differentiable programming language

inferred← citeshttps://doi.org/10.1145/3385412.3386011openalex-snapshot

On the principles of differentiable quantum programming languages

inferred← citeshttps://doi.org/10.1145/3406088.3409019openalex-snapshot

Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl)

inferred← citeshttps://doi.org/10.1145/3434309openalex-snapshot

Automatic differentiation in PCF

inferred← citeshttps://doi.org/10.1145/3471873.3472975openalex-snapshot

Parallelism-preserving automatic differentiation for second-order array languages

inferred← citeshttps://doi.org/10.1145/3473583openalex-snapshot

Symbolic and automatic differentiation of languages

inferred← citeshttps://doi.org/10.1145/3473593openalex-snapshot

Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming

inferred← citeshttps://doi.org/10.1145/3498710openalex-snapshot

Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation

inferred← citeshttps://doi.org/10.1145/3527634openalex-snapshot

CHAD: Combinatory Homomorphic Automatic Differentiation

inferred← citeshttps://doi.org/10.1145/3528223.3530099openalex-snapshot

DR.JIT

inferred← citeshttps://doi.org/10.1145/3571236openalex-snapshot

You Only Linearize Once: Tangents Transpose to Gradients

inferred← citeshttps://doi.org/10.1145/3571247openalex-snapshot

Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations

inferred← citeshttps://doi.org/10.1145/3605156.3606456openalex-snapshot

Using Rewrite Strategies for Efficient Functional Automatic Differentiation

inferred← citeshttps://doi.org/10.1145/3632878openalex-snapshot

Efficient CHAD

inferred← citeshttps://doi.org/10.1145/3632897openalex-snapshot

Monotonicity and the Precision of Program Analysis

inferred← citeshttps://doi.org/10.1145/3661814.3662106openalex-snapshot

δ is for Dialectica

inferred← citeshttps://doi.org/10.1145/3708493.3712685openalex-snapshot

MimIrADe: Automatic Differentiation in MimIR

inferred← citeshttps://doi.org/10.1145/3747524openalex-snapshot

Correctness Meets Performance: From Agda to Futhark

inferred← citeshttps://doi.org/10.1145/3759164.3759353openalex-snapshot

Staging Automatic Differentiation with Fusion

inferred← citeshttps://doi.org/10.1145/3808345openalex-snapshot

Compiling to Recurrent Neurons

inferred← citeshttps://doi.org/10.14293/s2199-1006.1.sor-.pps25dj.v1openalex-snapshot

The Shallow Gibbs Network, Double Backpropagation and Differential Machine learning

inferred← citeshttps://doi.org/10.14293/s2199-1006.1.sor-.pps25dj.v2openalex-snapshot

The Shallow Gibbs Network, Double Backpropagation and Differential Machine learning

inferred← citeshttps://doi.org/10.1515/9783111376776-001openalex-snapshot

A framework to solve inverse problems for parametric PDEs using adaptive finite elements and neural networks

inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25d18openalex-snapshot

Reverse AD at Higher Types: Pure, Principled and Denotationally Correct

inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25d56openalex-snapshot

On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem

inferred← citeshttps://doi.org/10.32408/compositionality-3-1openalex-snapshot

Categorical Stochastic Processes and Likelihood

inferred← citeshttps://doi.org/10.3390/robotics14050054openalex-snapshot

A Motion Propagation Force Analysis of Multi-DoF Systems Using the Partial Lagrangian Method

inferred← citeshttps://doi.org/10.3390/s23146346openalex-snapshot

Predicting System Degradation with a Guided Neural Network Approach

inferred← citeshttps://doi.org/10.4204/eptcs.333.20openalex-snapshot

Categorical semantics of a simple differential programming language

inferred← citeshttps://doi.org/10.4230/lipics.csl.2020.18openalex-snapshot

Reverse Derivative Categories

inferred← citeshttps://doi.org/10.46298/lmcs-18(1:41)2022openalex-snapshot

Higher Order Automatic Differentiation of Higher Order Functions

inferred← citeshttps://doi.org/10.46298/lmcs-19(4:5)2023openalex-snapshot

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library

inferred← citeshttps://doi.org/10.48550/arxiv.1804.00746openalex-snapshot

The simple essence of automatic differentiation

inferred← citeshttps://doi.org/10.48550/arxiv.1810.08297openalex-snapshot

Dynamic Automatic Differentiation of GPU Broadcast Kernels

inferred← citeshttps://doi.org/10.48550/arxiv.2002.08241openalex-snapshot

A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation

inferred← citeshttps://doi.org/10.48550/arxiv.2005.02819openalex-snapshot

Geoopt: Riemannian Optimization in PyTorch

inferred← citeshttps://doi.org/10.48550/arxiv.2007.10412openalex-snapshot

Randomized Automatic Differentiation

inferred← citeshttps://doi.org/10.48550/arxiv.2010.01709openalex-snapshot

Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients

inferred← citeshttps://doi.org/10.48550/arxiv.2104.00219openalex-snapshot

Fast Jacobian-Vector Product for Deep Networks

inferred← citeshttps://doi.org/10.48550/arxiv.2105.09469openalex-snapshot

Decomposing reverse-mode automatic differentiation

inferred← citeshttps://doi.org/10.48550/arxiv.2106.07032openalex-snapshot

Category Theory in Machine Learning

inferred← citeshttps://doi.org/10.5281/zenodo.31430openalex-snapshot

The Evolvdso Project: Key Services For The Evolution Of Dsos Roles

inferred← citeshttps://doi.org/10.66224/iau.36.1.46openalex-snapshot

The effectiveness of group interpersonal psychotherapy (IPT) on differentiation in mothers experiencing child mourning

inferred← citeshttps://doi.org/10.70675/4bfe02e7z16cez4fb4z9556z779b8171646eopenalex-snapshot

Ondelettes pour le traitement des signaux compromettants

showing the first 85 of 86 · page through all 86

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.