Z radością dzielimy się informacją, że nasz artykuł na temat ZK dla weryfikowalnego szkolenia AI został zaakceptowany na @IEEEEUROSP. Większość prac dotyczących weryfikowalnego AI koncentruje się na wnioskowaniu. My idziemy dalej: używając ZK do certyfikacji szkolenia AI, co jest znacznie bardziej skomplikowane. Więcej informacji wkrótce: Cysic AI jest w drodze!

Oto wersja przed drukiem: . Część pracy została wykonana, gdy Yuange odbywał staż w @cysic_xyz