62 citations · 62 across the 2 of their papers we have counts for
3 papers
Neural Unification for Logic Reasoning over Natural Language
Gabriele Picco, Hoang Thanh Lam, Marco Luca Sbodio +1
Automated Theorem Proving (ATP) deals with the development of computer programs being able to show that some conjectures (queries) are a logical consequence of a set of axioms (fac…
Learning Correlation Space for Time Series
Han Qiu, Hoang Thanh Lam, Francesco Fusco +1
We propose an approximation algorithm for efficient correlation search in time series data. In our method, we use Fourier transform and neural network to embed time series into a l…
One button machine for automating feature engineering in relational databases
Hoang Thanh Lam, Johann-Michael Thiebaut, Mathieu Sinn +3
Feature engineering is one of the most important and time consuming tasks in predictive analytics projects. It involves understanding domain knowledge and data exploration to disco…