CryptoZoo: A Viewer for Reduction Proofs.

Chris Brzuska Christoph Egger Kirthivaasan Puniamurthy

Published in: ACNS (1) (2024)

Keyphrases

formal proof
theorem proving
hidden markov models
multi agent systems
data mining
sweet spot
theorem prover
decision making
artificial neural networks
multiresolution
multiscale
feature extraction
reduction method
artificial intelligence
formal proofs
equational theories
real time