狠狠撸

machine learning 线形识别関数 coq gauss-markov's theorem gbdt #xxforml abstract interpretation cnn safety security verification pldi2020 decision tree model counting relational property alloy learnability mcml