Picturing counting reductions with the ZH-calculus.

Tuomas Laakkonen Konstantinos Meichanetzidis John van de Wetering

Published in: CoRR (2023)

Keyphrases

neural network
metadata
efficient computation
provably correct
real world
genetic algorithm
social networks
computer vision
decision trees
multiscale
optimal solution
information extraction
co occurrence
automated deduction
timed automata
mutual reinforcement