activity
20182021
most citedImpact of Legal Requirements on Explainability in Machine Learning

4 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2018

ML + FV = ? A Survey on the Application of Machine Learning to Formal Verification

Moussa Amrani, Levi Lúcio, Adrien Bibal

Formal Verification (FV) and Machine Learning (ML) can seem incompatible due to their opposite mathematical foundations and their use in real-life problems: FV mostly relies on dis…