Pegasus: Sound Continuous Invariant Generation.

Andrew Sogokon Stefan Mitsch Yong Kiam Tan Katherine Cordwell André Platzer

Published in: CoRR (2020)

Keyphrases

open source
affine transformation
metadata
multiresolution
invariant features
information retrieval
genetic algorithm
similarity measure
probabilistic model
generation algorithm