Freely downloadable: https://functional-algorithms-verified.org.

Arthur Charguéraud

Published in: Formal Aspects Comput. (2023)

Keyphrases

theoretical analysis
orders of magnitude
recently developed
learning algorithm
data structure
multi class
computationally efficient
convergence rate
real time
social networks
np hard
computational cost
classification algorithm
efficient implementation
graph theory