Toutes les news taguées avec ce sujet.
Un pipeline combinant LLM et solveur SMT détecte les ambiguïtés, incohérences et violations de sécurité dans les spécifications logicielles médicales.
Un algorithme baptisé XCount permet de mesurer efficacement la sensibilité des decision tree ensembles, avec des garanties d'erreur et de confiance certifiées.
Des chercheurs proposent un cadre de vérification formelle des classifieurs guardrail, révélant des failles de sécurité vérifiables malgré de bonnes métriques empiriques.