Miroslav Olšák

Property Invariant Embedding for Automated Reasoning

2019 · arXiv (Cornell University)

Automated reasoning and theorem proving have recently become major challenges for machine learning. In other domains, representations that are able to abstract over unimportant transformations, such as abstraction over translations and rotations in vision, are …