Julien Narboux | DeepAI

DeepAI

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

Featured Co-authors

Predrag Janicic
6 publications
Michael Beeson
3 publications
Freek Wiedijk
2 publications

research

∙ 01/03/2022

Automated Generation of Illustrations for Synthetic Geometry Proofs

We report on a new, simple, modular, and flexible approach for automated...

0 Predrag Janicic, et al. ∙

research

∙ 10/02/2017

Proof-checking Euclid

We used computer proof-checking methods to verify the correctness of our...

0 Michael Beeson, et al. ∙