Linear Algorithmic Checksums for Deep-Neural-Network Error Detection: Fundamentals and Recent Advancements. - Elbruz Ozen; Ozgur Ozerdem; Alex Orailoglu (IEEE Des. Test, 2025)