Cezary Kaliszyk

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 …

Experiments with Choice in Dependently-Typed Higher-Order Logic

2024 · EPiC series in computing

Recently an extension to higher-order logic — called DHOL — was introduced, enrich- ing the language with dependent types, and creating a powerful extensional type theory. In this paper we propose two ways how choice …