Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

HyperTree Proof Search for Neural Theorem Proving



Guillaume Lample , Marie-Anne Lachaux , Thibaut Lavril , Xavier Martinet , Amaury Hayat , Gabriel Ebner , Aurélien Rodriguez , Timothée Lacroix


   Access Paper or Ask Questions

End-to-end symbolic regression with transformers



Pierre-Alexandre Kamienny , Stéphane d'Ascoli , Guillaume Lample , François Charton


   Access Paper or Ask Questions

Deep Symbolic Regression for Recurrent Sequences



Stéphane d'Ascoli , Pierre-Alexandre Kamienny , Guillaume Lample , François Charton


   Access Paper or Ask Questions

Leveraging Automated Unit Tests for Unsupervised Code Translation



Baptiste Roziere , Jie M. Zhang , Francois Charton , Mark Harman , Gabriel Synnaeve , Guillaume Lample


   Access Paper or Ask Questions

DOBF: A Deobfuscation Pre-Training Objective for Programming Languages



Baptiste Roziere , Marie-Anne Lachaux , Marc Szafraniec , Guillaume Lample


   Access Paper or Ask Questions

Target Conditioning for One-to-Many Generation



Marie-Anne Lachaux , Armand Joulin , Guillaume Lample


   Access Paper or Ask Questions

Deep Differential System Stability -- Learning advanced computations from examples



François Charton , Amaury Hayat , Guillaume Lample


   Access Paper or Ask Questions

Unsupervised Translation of Programming Languages



Marie-Anne Lachaux , Baptiste Roziere , Lowik Chanussot , Guillaume Lample


   Access Paper or Ask Questions

Deep Learning for Symbolic Mathematics



Guillaume Lample , François Charton


   Access Paper or Ask Questions

1
2
3
>>