Ondřej Kuželka

On Exact Sampling in the Two-Variable Fragment of First-Order Logic

2023 · arXiv (Cornell University)

In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al. -- how to efficiently sample a model of a given first-order sentence on a finite domain? We extend …

Lifted Relational Neural Networks

2015 · arXiv (Cornell University)

We propose a method combining relational-logic representations with neural network learning. A general lifted architecture, possibly reflecting some background domain knowledge, is described through relational rules which may be handcrafted or learned. The relational rule-set …