Jan Gorzny | DeepAI

DeepAI

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

Featured Co-authors

Bruno Woltzenlogel Paleo
5 publications
Martin Derka
4 publications
Ezequiel Postan
1 publication
Sung-Shine Lee
1 publication
Alexandr Murashkin
1 publication

research

∙ 10/28/2022

SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks

The blockchain ecosystem has evolved into a multi-chain world with vario...

0 Sung-Shine Lee, et al. ∙

research

∙ 04/18/2018

Partial Regularization of First-Order Resolution Proofs

Resolution and superposition are common techniques which have seen wides...

0 Jan Gorzny, et al. ∙