Login / Signup
O2D2: Out-Of-Distribution Detector to Capture Undecidable Trials in Authorship Verification.
Benedikt T. Boenninghoff
Robert M. Nickel
Dorothea Kolossa
Published in:
CoRR (2021)
Keyphrases
</>
model checking
email
spatial distribution
case study
data sets
probability distribution
sufficient conditions
power law
formal methods
neural network
learning algorithm
markov chain
data distribution
formal verification