Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean.
Giacomo MalettoLuca RoversiPublished in: CoRR (2022)
Keyphrases
- learning algorithm
- computational complexity
- higher level
- computationally efficient
- desirable properties
- knowledge base
- significant improvement
- database
- benchmark datasets
- markov chain
- times faster
- computational efficiency
- closely related
- cellular automata
- orders of magnitude
- theoretical analysis
- evolutionary algorithm
- data structure
- multiscale
- high level
- website
- neural network