Specification-driven machine learning (SDML) on nouseva lähestymistapa, jolla on keskeinen rooli sen varmistamisessa, että hermoverkot täyttävät olennaiset turvallisuus- ja kestävyysvaatimukset. Tämä menetelmä on erityisen tärkeä aloilla, joilla järjestelmävikojen seuraukset voivat olla katastrofaalisia, kuten autonomisessa ajossa, terveydenhuollossa ja ilmailussa. Integroimalla muodolliset määritykset koneoppimiseen