Denis Cousineau | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Pierre Vial
4 publications
Chantal Keller
4 publications
Valentin Blot
3 publications
Hiroaki Inoue
2 publications
Louise Dubois de Prisque
2 publications
Assia Mahboubi
2 publications
David Mentré
2 publications
Enzo Crance
1 publication

research

∙ 04/06/2022

Modular pre-processing for automated reasoning in dependent type theory

The power of modern automated theorem provers can be put at the service ...

0 Valentin Blot, et al. ∙

research

∙ 12/23/2019

Automated Deductive Verification for Ladder Programming

Ladder Logics is a programming language standardized in IEC 61131-3 and ...

0 Denis Cousineau, et al. ∙