Skip to content

Author

Ondřej Kuželka

We have 2 of 121 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Unary Functions, Automorphisms, and Unlabeled First-Order Model Counting

It is proved that, for every fixed sentence $\varphi\in\mathrm{C}^1_{=}[f]$, with one unary function and an arbitrary finite relational vocabulary, $\mathrm{FOMC}(\varphi,n)$ is computable in time polynomial in $n$.

Ondřej Kuželka · 0 citations
Jul 2026

Parallel Noising in Neural Markov Logic Networks

A new training and inference algorithm inspired by parallel-tempering Markov chain Monte Carlo methods is developed, which is named parallel noising and allows NMLNs to match the performance of specialized text-based recurrent models when generating small molecular structures.

Peter Jung, Giuseppe Marra, Ondřej Kuželka · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.