نحو تطوير موثوق للذكاء الاصطناعي: آليات لدعم الادعاءات القابلة للتحقق | Synapse