Forschung
Formale Verifikation von Baum-basierten ML-Modellen für seitliches Ausbreiten
Maschinelles Lernen wird zunehmend zur Vorhersage geotechnischer Gefahren eingesetzt. Trotz hoher Genauigkeit können Modelle jedoch physika…
arXiv – cs.LG