Formal verification of the correctness of chosen algorithms in Mizar.

Adrian Jaszczak

Published in: CICM Workshops (2019)

Keyphrases

formal verification
neural network
computational cost
knowledge representation
worst case
data mining techniques
computationally efficient
benchmark datasets
orders of magnitude
data mining algorithms
times faster
provably correct