Formal Probabilistic Methods for Combinatorial Structures in Isabelle/HOL.

Chelsea Edmonds Lawrence C. Paulson

Published in: CoRR (2023)

Keyphrases

significant improvement
computationally expensive
database
real time
computational cost
cross validation
qualitative and quantitative
probabilistic approaches
data sets
machine learning
search engine
knowledge based systems
generative model
machine learning methods
formal methods
methods require