Many machine learning strategies designed to automate mathematical tasks leverage neural networks to search large combinatorial spaces of mathematical symbols. In contrast to traditional evolutionary approaches, using a neural network at the core of the search allows learning higher-level symbolic patterns, providing an informed direction to guide the search. When no labeled data is available, such networks can still be trained using reinforcement learning. However, we demonstrate that this approach can suffer from an early commitment phenomenon and from initialization bias, both of which limit exploration. We present two exploration methods to tackle these issues, building upon ideas of entropy regularization and distribution initializatio...
Branch-and-bound is a systematic enumerative method for combinatorial optimization, where the perfor...
We study the problem of learning good heuristic functions for classical planning tasks with neural n...
The flexibility introduced by evolutionary algorithms (EAs) has allowed the use of virtually arbitra...
Gradient-based local optimization has been shown to improve results of genetic programming (GP) for ...
Recent studies on Learning to Optimize (L2O) suggest a promising path to automating and accelerating...
Many AutoML problems involve optimizing discrete objects under a black-box reward. Neural-guided sea...
The aim of Symbolic Regression (SR) is to discover interpretable expressions that accurately describ...
The success of deep learning has shown impressive empirical breakthroughs, but many theoretical ques...
In the past decade, neural networks have demonstrated impressive performance in supervised learning....
The use of correlation as a fitness function is explored in symbolic regression tasks and the perfor...
Symbolic regression (SR) is the problem of learning a symbolic expression from numerical data. Recen...
Optimization is the key component of deep learning. Increasing depth, which is vital for reaching a...
Policy search is a successful approach to reinforcement learning. However, policy improvements often...
Trust-region methods have yielded state-of-the-art results in policy search. A common approach is to...
Policy search is a successful approach to reinforcement learning. However, policy improvements often...
Branch-and-bound is a systematic enumerative method for combinatorial optimization, where the perfor...
We study the problem of learning good heuristic functions for classical planning tasks with neural n...
The flexibility introduced by evolutionary algorithms (EAs) has allowed the use of virtually arbitra...
Gradient-based local optimization has been shown to improve results of genetic programming (GP) for ...
Recent studies on Learning to Optimize (L2O) suggest a promising path to automating and accelerating...
Many AutoML problems involve optimizing discrete objects under a black-box reward. Neural-guided sea...
The aim of Symbolic Regression (SR) is to discover interpretable expressions that accurately describ...
The success of deep learning has shown impressive empirical breakthroughs, but many theoretical ques...
In the past decade, neural networks have demonstrated impressive performance in supervised learning....
The use of correlation as a fitness function is explored in symbolic regression tasks and the perfor...
Symbolic regression (SR) is the problem of learning a symbolic expression from numerical data. Recen...
Optimization is the key component of deep learning. Increasing depth, which is vital for reaching a...
Policy search is a successful approach to reinforcement learning. However, policy improvements often...
Trust-region methods have yielded state-of-the-art results in policy search. A common approach is to...
Policy search is a successful approach to reinforcement learning. However, policy improvements often...
Branch-and-bound is a systematic enumerative method for combinatorial optimization, where the perfor...
We study the problem of learning good heuristic functions for classical planning tasks with neural n...
The flexibility introduced by evolutionary algorithms (EAs) has allowed the use of virtually arbitra...