Chad Brown | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Josef Urban
55 publications
Cezary Kaliszyk
38 publications
Qingxiang Wang
4 publications
Adam Pease
2 publications

research

∙ 05/13/2023

Translating SUMO-K to Higher-Order Set Theory

We describe a translation from a fragment of SUMO (SUMO-K) into higher-o...

0 Chad Brown, et al. ∙

research

∙ 12/05/2019

Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar

In this paper we share several experiments trying to automatically trans...

0 Qingxiang Wang, et al. ∙