CryptoZoo: A Viewer for Reduction Proofs.

Chris Brzuska Christoph Egger Kirthivaasan Puniamurthy

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

theorem proving
databases
decision procedures
image sequences
attribute reduction
data reduction
formal proofs
real time
visual field
reduction method
rough sets
search algorithm
data structure
reinforcement learning
case study
decision making
machine learning