The equational theory of the Weihrauch lattice with multiplication.

Eike Neumann Arno Pauly Cécilia Pradic

Published in: CoRR (2024)

Keyphrases

boolean algebra
general theory
neural network
theoretical framework
theorem proving
lattice theory
theorem prover
data sets
databases
machine learning
social networks
decision making
bayesian networks
expert systems
evolutionary algorithm
probabilistic model