Jan Tóth | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Yuyi Wang
41 publications
Peter Jung
39 publications
Ondrej Kuzelka
26 publications
Martin Svatos
2 publications

research

∙ 02/09/2023

On Discovering Interesting Combinatorial Integer Sequences

We study the problem of generating interesting integer sequences with a ...

0 Martin Svatos, et al. ∙

research

∙ 11/02/2022

Lifted Inference with Linear Order Axiom

We consider the task of weighted first-order model counting (WFOMC) used...

0 Jan Tóth, et al. ∙