Johannes Hölzl | DeepAI

DeepAI

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

Featured Co-authors

Robert Y. Lewis
9 publications
Tobias Nipkow
8 publications
Sander R. Dahmen
3 publications
Manuel Eberl
2 publications

research

∙ 07/02/2019

Formalizing the Solution to the Cap Set Problem

In 2016, Ellenberg and Gijswijt established a new upper bound on the siz...

0 Sander R. Dahmen, et al. ∙

research

∙ 07/21/2017

A Verified Compiler for Probability Density Functions

Bhat et al. developed an inductive compiler that computes density functi...

0 Manuel Eberl, et al. ∙