Jérôme Siméon | DeepAI

DeepAI

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

Featured Co-authors

Louis Mandel
13 publications
Avraham Shinnar
12 publications
Eason Chen
7 publications
Chantal Keller
4 publications
Niall Roche
2 publications
Walter Hernandez
2 publications
Dan Selman
1 publication
Véronique Benzaken
1 publication
Évelyne Contejean
1 publication
Mohammed Houssem Hachmaoui
1 publication

research

∙ 03/16/2022

Translating Canonical SQL to Imperative Code in Coq

SQL is by far the most widely used and implemented query language. Yet, ...

0 Véronique Benzaken, et al. ∙

research

∙ 12/13/2021

Ergo – a programming language for Smart Legal Contracts

We present a smart legal contract platform to support a wide range of sm...

0 Niall Roche, et al. ∙