Innovation Title | Categories | Lead Inventor | |
---|---|---|---|
Efficient Automatic Differentiation of Higher-Order Functions
2019-SISK-68524 |
Siskind, Jeffrey M | ||
Binomial Checkpointing for Arbitrary Programs with No User Annotation
2016-SISK-67566 |
Siskind, Jeffrey M | ||
MAP-CLOSURE: A General-Purpose Mechanism for Nonstandard Interpretation
64704 |
Siskind, Jeffrey M | ||
[No biography available] | |