Amaury Hayat | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Guillaume Lample
27 publications
François Charton
17 publications
Thibaut Lavril
12 publications
Marie-Anne Lachaux
8 publications
Timothée Lacroix
7 publications
Benedetto Piccoli
5 publications
Xavier Martinet
4 publications
Gabriel Ebner
3 publications
Aurélien Rodriguez
3 publications
Sean T. McQuade
2 publications
Nathaniel J. Merrill
1 publication

research

∙ 05/23/2022

HyperTree Proof Search for Neural Theorem Proving

We propose an online training procedure for a transformer-based automate...

0 Guillaume Lample, et al. ∙

research

∙ 12/07/2021

A deep language model to predict metabolic network equilibria

We show that deep learning models, and especially architectures like the...

0 François Charton, et al. ∙

research

∙ 06/11/2020

Deep Differential System Stability – Learning advanced computations from examples

Can advanced mathematical computations be learned from examples? Using t...

0 François Charton, et al. ∙