AI na Matatizo Magumu ya Ulimwengu · Sayansi ya kompyuta ya kinadharia · arXiv · 2026-10-22
TNODEV: Sanduku la Zana la Uthibitisho wa Neural ODE
Kichwa asilia: TNODEV: Toolbox for Neural ODE Verification
Watafiti walitengeneza TNODEV ili kuthibitisha kirasmi milinganyo ya tofautishi ya kawaida ya mitandao ya neva, kushughulikia usahihi mdogo wa zana zinazotumia uchambuzi mmoja wa kufikika bila kuboresha seti ya pembejeo kwa njia inayojirudia. Inachanganya ukaguzi wa ukanushaji, uchambuzi wa haraka wa kufikika, mzunguko wa uthibitisho na uboreshaji, na upangaji ratiba wa sambamba. Waliuipima kwenye vipimo vya uwemo wa seti salama na uthabiti wa uainishaji, ikiwemo kulinganisha na NNV 2.0 na CORA.