Volume: Vol-4276 LOGICNN 2026 | Year: 2026

Paper: « paper1 | paper2 | paper3 »

IsaGrad: Verified Automatic Differentiation over Computational Graphs in Imperative HOL

• Alex Raymond Hyman
• Filip Smola
• Mark Chevallier
• Jacques D. Fleuriot

44-67 PDF