Type Inference for Isabelle2Cpp.

Dongchen Jiang Chenxi Fu

Published in: CoRR (2024)

Keyphrases

probabilistic inference
theorem prover
bayesian networks
bayesian inference
data sets
learning algorithm
case study
decision theoretic