🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
kotlin
types
computer-algebra
optimization
linear-algebra
automatic-differentiation
algebraic-data-types
chinese
gradient-descent
message-passing
symbolic-differentiation
differentiable-programming
multi-stage-programming
array-programming
shape-safety
-
Updated
Aug 9, 2024 - Kotlin