Proof Pearl: Faithful Computation and Extraction of μ-Recursive Algorithms in Coq.

Dominique Larchey-Wendling Jean-François Monin

Published in: ITP (2023)

Keyphrases

computational cost
times faster
data structure
optimization problems
computationally efficient
theoretical analysis
orders of magnitude
theorem prover
benchmark datasets
recently developed
data sets
learning algorithm
significant improvement
computational efficiency