
Training a FirstOrder Theorem Prover from Synthetic Data
A major challenge in applying machine learning to automated theorem prov...
read it

Learning to Prove from Synthetic Theorems
A major challenge in applying machine learning to automated theorem prov...
read it

Early Visual Concept Learning with Unsupervised Deep Learning
Automated discovery of early visual concepts from raw image data is a ma...
read it

Theano: A Python framework for fast computation of mathematical expressions
Theano is a Python library that allows to define, optimize, and evaluate...
read it

Towards OpenText Semantic Parsing via MultiTask Learning of Structured Embeddings
Opentext (or opendomain) semantic parsers are designed to interpret an...
read it

Learning invariant features through local space contraction
We present in this paper a novel approach for training deterministic aut...
read it

Adding noise to the input of a model trained with a regularized objective
Regularization is a well studied problem in the context of neural networ...
read it

Deep SelfTaught Learning for Handwritten Character Recognition
Recent theoretical and empirical work in statistical machine learning ha...
read it