A Calculus for Modular Loop Acceleration.

Published in: TACAS (1) (2020)

Keyphrases

modular structure
data sets
neural network
decision trees
automated theorem proving
computer algebra
modular neural networks
information retrieval
computer vision
mobile robot
automated deduction
algebraic structure
modular neural network