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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Proving Theorems using Incremental Learning and Hindsight Experience Replay



Eser AygĂĽn , Laurent Orseau , Ankit Anand , Xavier Glorot , Vlad Firoiu , Lei M. Zhang , Doina Precup , Shibl Mourad

* 16 pages, 2 figures 

   Access Paper or Ask Questions

Training a First-Order Theorem Prover from Synthetic Data



Vlad Firoiu , Eser Aygun , Ankit Anand , Zafarali Ahmed , Xavier Glorot , Laurent Orseau , Lei Zhang , Doina Precup , Shibl Mourad


   Access Paper or Ask Questions

Learning to Prove from Synthetic Theorems



Eser AygĂĽn , Zafarali Ahmed , Ankit Anand , Vlad Firoiu , Xavier Glorot , Laurent Orseau , Doina Precup , Shibl Mourad

* 17 pages, 6 figures, submitted to NeurIPS 2020 

   Access Paper or Ask Questions

Early Visual Concept Learning with Unsupervised Deep Learning



Irina Higgins , Loic Matthey , Xavier Glorot , Arka Pal , Benigno Uria , Charles Blundell , Shakir Mohamed , Alexander Lerchner


   Access Paper or Ask Questions

Theano: A Python framework for fast computation of mathematical expressions



The Theano Development Team , Rami Al-Rfou , Guillaume Alain , Amjad Almahairi , Christof Angermueller , Dzmitry Bahdanau , Nicolas Ballas , Frédéric Bastien , Justin Bayer , Anatoly Belikov , Alexander Belopolsky , Yoshua Bengio , Arnaud Bergeron , James Bergstra , Valentin Bisson , Josh Bleecher Snyder , Nicolas Bouchard , Nicolas Boulanger-Lewandowski , Xavier Bouthillier , Alexandre de Brébisson , Olivier Breuleux , Pierre-Luc Carrier , Kyunghyun Cho , Jan Chorowski , Paul Christiano , Tim Cooijmans , Marc-Alexandre Côté , Myriam Côté , Aaron Courville , Yann N. Dauphin , Olivier Delalleau , Julien Demouth , Guillaume Desjardins , Sander Dieleman , Laurent Dinh , Mélanie Ducoffe , Vincent Dumoulin , Samira Ebrahimi Kahou , Dumitru Erhan , Ziye Fan , Orhan Firat , Mathieu Germain , Xavier Glorot , Ian Goodfellow , Matt Graham , Caglar Gulcehre , Philippe Hamel , Iban Harlouchet , Jean-Philippe Heng , Balázs Hidasi , Sina Honari , Arjun Jain , Sébastien Jean , Kai Jia , Mikhail Korobov , Vivek Kulkarni , Alex Lamb , Pascal Lamblin , Eric Larsen , César Laurent , Sean Lee , Simon Lefrancois , Simon Lemieux , Nicholas Léonard , Zhouhan Lin , Jesse A. Livezey , Cory Lorenz , Jeremiah Lowin , Qianli Ma , Pierre-Antoine Manzagol , Olivier Mastropietro , Robert T. McGibbon , Roland Memisevic , Bart van Merriënboer , Vincent Michalski , Mehdi Mirza , Alberto Orlandi , Christopher Pal , Razvan Pascanu , Mohammad Pezeshki , Colin Raffel , Daniel Renshaw , Matthew Rocklin , Adriana Romero , Markus Roth , Peter Sadowski , John Salvatier , François Savard , Jan Schlüter , John Schulman , Gabriel Schwartz , Iulian Vlad Serban , Dmitriy Serdyuk , Samira Shabanian , Étienne Simon , Sigurd Spieckermann , S. Ramana Subramanyam , Jakub Sygnowski , Jérémie Tanguay , Gijs van Tulder , Joseph Turian , Sebastian Urban , Pascal Vincent , Francesco Visin , Harm de Vries , David Warde-Farley , Dustin J. Webb , Matthew Willson , Kelvin Xu , Lijun Xue , Li Yao , Saizheng Zhang , Ying Zhang

* 19 pages, 5 figures 

   Access Paper or Ask Questions

A Semantic Matching Energy Function for Learning with Multi-relational Data



Xavier Glorot , Antoine Bordes , Jason Weston , Yoshua Bengio


   Access Paper or Ask Questions

Towards Open-Text Semantic Parsing via Multi-Task Learning of Structured Embeddings



Antoine Bordes , Xavier Glorot , Jason Weston , Yoshua Bengio


   Access Paper or Ask Questions

Learning invariant features through local space contraction



Salah Rifai , Xavier Muller , Xavier Glorot , Gregoire Mesnil , Yoshua Bengio , Pascal Vincent


   Access Paper or Ask Questions

Adding noise to the input of a model trained with a regularized objective



Salah Rifai , Xavier Glorot , Yoshua Bengio , Pascal Vincent


   Access Paper or Ask Questions

Deep Self-Taught Learning for Handwritten Character Recognition



Frédéric Bastien , Yoshua Bengio , Arnaud Bergeron , Nicolas Boulanger-Lewandowski , Thomas Breuel , Youssouf Chherawala , Moustapha Cisse , Myriam Côté , Dumitru Erhan , Jeremy Eustache , Xavier Glorot , Xavier Muller , Sylvain Pannetier Lebeuf , Razvan Pascanu , Salah Rifai , Francois Savard , Guillaume Sicard


   Access Paper or Ask Questions