Research artifact
certjet-reproducibility.zip
Supplement for Coherent Jet Gluing for Higher-Order Differentiation and Certified Distributed Optimization
Author: Anonymous
520,283 bytes · application/zip
SHA-256: f404e6a10404f95a3ab2fe22180d777c96f9b683679e36118f7fd4623f5d1ac5
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/09a02e5ddc6743ebf7cb761d99c3e0c7