Sign in

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.

Philipp G. HaselwarterExequiel RivasAntoine Van MuylderThéo WinterhalterCarmine AbateNikolaj SidorencoCatalin HritcuKenji MaillardBas Spitters
Published in: ACM Trans. Program. Lang. Syst. (2023)
Keyphrases
  • theorem prover
  • learning algorithm
  • lightweight
  • data sets
  • machine learning
  • bayesian networks
  • probabilistic model
  • main contribution
  • theoretical framework
  • conceptual framework
  • modular structure