Cover von A Certified Proof Checker for Deep Neural Network Verification in Imandra opens in new tab

A Certified Proof Checker for Deep Neural Network Verification in Imandra

Year: 2025
Media group: LIPIcs

Details

Search for this author
Year: 2025
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 1:1-1:21
Participating parties: Search for this character Desmartin, Remi; Isac, Omri; Passmore, Grant; Komendantskaya, Ekaterina; Stark, Kathrin
Media group: LIPIcs