Artemis: Efficient Commit-and-Prove SNARKs for zkML. - Hidde Lycklama; Alexander Viand; Nikolay Avramov; Nicolas Küchler; Anwar Hithnawi (CoRR, 2024)