Arvid Jakobsson | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Youry Khmelevsky
6 publications
Julien Tesson
4 publications
Murdoch Gabbay
3 publications
Raphaël Cauderlier
3 publications
Kristina Sojakova
3 publications
Bruno Bernardo
3 publications
Basile Pesin
3 publications
Gaetan J. D. R. Hains
2 publications
Guillaume Claret
1 publication

research

∙ 09/20/2021

Money grows on (proof-)trees: the formal FA1.2 ledger standard

Once you have invented digital money, you may need a ledger to track who...

0 Murdoch Gabbay, et al. ∙

research

∙ 06/24/2021

Making Tezos smart contracts more reliable with Coq

Tezos is a smart-contract blockchain. Tezos smart contracts are written ...

0 Bruno Bernardo, et al. ∙

research

∙ 01/31/2019

Formal methods and software engineering for DL. Security, safety and productivity for DL systems development

Deep Learning (DL) techniques are now widespread and being integrated in...

0 Gaetan J. D. R. Hains, et al. ∙