Auto-active Verification of Graph Algorithms, Written in OCaml.

Daniel Castanho Mário Pereira

Published in: CoRR (2022)

Keyphrases

graph theory
orders of magnitude
computational cost
depth first search
theoretical analysis
data structure
significant improvement
learning algorithm
face recognition
optimization problems
random walk
benchmark datasets
structured data
times faster