Cezary Kaliszyk | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Josef Urban
3 publications
Prokop Černý
1 publication
Stanisław J. Purgał
1 publication
Bartosz Piotrowski
1 publication
Qingxiang Wang
1 publication
David M. Cerna
1 publication
Lasse Blaauwbroek
1 publication
Liao Zhang
1 publication

research

∙ 08/13/2022

Differentiable Inductive Logic Programming in High-Dimensional Space

Synthesizing large logic programs through Inductive Logic Programming (I...

0 Stanisław J. Purgał, et al. ∙

research

∙ 04/12/2021

Online Machine Learning Techniques for Coq: A Comparison

We present a comparison of several online machine learning techniques fo...

0 Liao Zhang, et al. ∙

research

∙ 05/10/2018

First Experiments with Neural Translation of Informal to Formal Mathematics

We report on our first experiments to train deep neural networks that au...

0 Qingxiang Wang, et al. ∙

Success!

An error occurred