Sign in
CTL++: Evaluating Generalization on Never-Seen Compositional Patterns of Known Functions, and Compatibility of Neural Representations.
Róbert Csordás
Kazuki Irie
Jürgen Schmidhuber
Published in:
CoRR (2022)
Keyphrases
</>
neural network
pattern mining
model checking
temporal logic
visual patterns
distributed representations
network architecture
data mining techniques
bio inspired
symbolic representation
neural model
temporal properties
real valued functions
neural fuzzy