research
∙
12/20/2021
Proving Theorems using Incremental Learning and Hindsight Experience Replay
Traditional automated theorem provers for first-order logic depend on sp...
share
research
∙
03/05/2021
Training a First-Order Theorem Prover from Synthetic Data
A major challenge in applying machine learning to automated theorem prov...
research
∙
06/19/2020
Learning to Prove from Synthetic Theorems
A major challenge in applying machine learning to automated theorem prov...
research
∙
06/17/2016
Early Visual Concept Learning with Unsupervised Deep Learning
Automated discovery of early visual concepts from raw image data is a ma...
research
∙
05/09/2016
Theano: A Python framework for fast computation of mathematical expressions
Theano is a Python library that allows to define, optimize, and evaluate...
research
∙
07/19/2011
Towards Open-Text Semantic Parsing via Multi-Task Learning of Structured Embeddings
Open-text (or open-domain) semantic parsers are designed to interpret an...
research
∙
04/21/2011
Learning invariant features through local space contraction
We present in this paper a novel approach for training deterministic aut...
research
∙
04/16/2011
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...
research
∙
09/18/2010
