Jonathan Laurent | DeepAI

DeepAI

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

Featured Co-authors

André Platzer
32 publications
Makoto Naruse
27 publications
Nicolas Chauvet
13 publications
Ryoichi Horisaki
12 publications
André Röhm
11 publications
Guillaume Bachelier
6 publications
Hiroaki Shinkawa
4 publications
Tomoki Yamagami
3 publications
Etsuo Segawa
2 publications
Honoka Shiratori
1 publication

research

∙ 05/03/2023

Asymmetric quantum decision-making

Collective decision-making is crucial to information and communication s...

0 Honoka Shiratori, et al. ∙

research

∙ 05/27/2022

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies

We propose a new approach to automated theorem proving and deductive pro...

0 Jonathan Laurent, et al. ∙