{ "cells": [ { "cell_type": "code", "execution_count": null, "id": "4cb317e4-3aa3-4ec7-ad50-83fbaad4dd73", "metadata": { "tags": [ "hide-input" ] }, "outputs": [], "source": [ "# Install the necessary dependencies\n", "\n", "import os\n", "import sys\n", "!{sys.executable} -m pip install --quiet pandas scikit-learn numpy matplotlib jupyterlab_myst ipython" ] }, { "cell_type": "markdown", "id": "841ebd40", "metadata": { "tags": [ "remove-cell" ] }, "source": [ "---\n", "license:\n", " code: MIT\n", " content: CC-BY-4.0\n", "github: https://github.com/ocademy-ai/machine-learning\n", "venue: By Ocademy\n", "open_access: true\n", "bibliography:\n", " - https://raw.githubusercontent.com/ocademy-ai/machine-learning/main/open-machine-learning-jupyter-book/references.bib\n", "---" ] }, { "cell_type": "markdown", "id": "0f3cbb4f", "metadata": {}, "source": [ "# Gradient Boosting" ] }, { "cell_type": "markdown", "id": "20873551", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Boosting.jpg\n", "---\n", "name: 'Boosting'\n", "width: 90%\n", "---\n", "Boosting\n", ":::" ] }, { "cell_type": "markdown", "id": "b37ef333", "metadata": {}, "source": [ "Today we are going to have a look at one of the most popular and practical machine learning algorithms: gradient boosting. \n", "\n", "

\n", "\n", "A demo of Gradient Boosting. [source]\n", "

" ] }, { "cell_type": "markdown", "id": "a97c640f", "metadata": {}, "source": [ "## Introduction and history of boosting\n", "Almost everyone in machine learning has heard about gradient boosting. Many data scientists include this algorithm in their data scientist's toolbox because of the good results it yields on any given (unknown) problem. \n", "\n", "Furthermore, XGBoost is often the standard recipe for [winning](https://github.com/dmlc/xgboost/blob/master/demo/README.md#usecases) [ML competitions](http://blog.kaggle.com/tag/xgboost/). It is so popular that the idea of stacking XGBoosts has become a meme. Moreover, boosting is an important component in [many recommender systems](https://en.wikipedia.org/wiki/Learning_to_rank#Practical_usage_by_search_engines); sometimes, it is even considered a [brand](https://yandex.com/company/technologies/matrixnet/).\n", "Let's look at the history and development of boosting." ] }, { "cell_type": "markdown", "id": "432f24c4-79ee-4087-8f26-e7d53d854171", "metadata": {}, "source": [ "Boosting was born out of [the question:](http://www.cis.upenn.edu/~mkearns/papers/boostnote.pdf) is it possible to get one strong model from a large amount of relatively weak and simple models? \n", "By saying \"weak models\", we do not mean simple basic models like decision trees but models with poor accuracy performance, where poor is a little bit better than random.\n", "\n", "[A positive mathematical answer](http://www.cs.princeton.edu/~schapire/papers/strengthofweak.pdf) to this question was identified, but it took a few years to develop fully functioning algorithms based on this solution e.g. AdaBoost. These algoritms take a greedy approach: first, they build a linear combination of simple models (basic algorithms) by re-weighing the input data. Then, the model (usually a decision tree) is built on earlier incorrectly predicted objects, which are now given larger weights. \n", "\n", "\n", "Many machine learning courses study AdaBoost - the ancestor of GBM (Gradient Boosting Machine). However, since AdaBoost merged with GBM, it has become apparent that AdaBoost is just a particular variation of GBM. \n", "\n", "The algorithm itself has a very clear visual interpretation and intuition for defining weights. Let's have a look at the following toy classification problem where we are going to split the data between the trees of depth 1 (also known as 'stumps') on each iteration of AdaBoost. For the first two iterations, we have the following picture:" ] }, { "cell_type": "markdown", "id": "f2aa5e75", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Initial_iterative_process.jpg\n", "---\n", "name: 'Initial iterative process'\n", "width: 90%\n", "---\n", "Initial iterative process\n", ":::" ] }, { "cell_type": "markdown", "id": "2b8a05e3", "metadata": {}, "source": [ "The size of point corresponds to its weight, which was assigned for an incorrect prediction. On each iteration, we can see that these weights are growing -- the stumps cannot cope with this problem. Although, if we take a weighted vote for the stumps, we will get the correct classifications:" ] }, { "cell_type": "markdown", "id": "c1e0bbb3", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Weighting_the_stump\n", "---\n", "name: 'Weighting the stump'\n", "width: 90%\n", "---\n", "Weighting the stump\n", ":::" ] }, { "cell_type": "markdown", "id": "73a05825", "metadata": {}, "source": [ "Pseudocode:\n", "- Initialize sample weights $\\Large w_i^{(0)} = \\frac{1}{l}, i = 1, \\dots, l$.\n", "- For all $t = 1, \\dots, T$\n", " * Train base algo $\\Large b_t$, let $\\epsilon_t$ be it's training error.\n", " * $\\Large \\alpha_t = \\frac{1}{2}ln\\frac{1 - \\epsilon_t}{\\epsilon_t}$.\n", " * Update sample weights: $\\Large w_i^{(t)} = w_i^{(t-1)} e^{-\\alpha_t y_i b_t(x_i)}, i = 1, \\dots, l$.\n", " * Normalize sample weights: $\\Large w_0^{(t)} = \\sum_{j = 1}^k w_j^{(t)}, w_i^{(t)} = \\frac{w_i^{(t)}}{w_0^{(t)}}, i = 1, \\dots, l$.\n", "- Return $\\sum_t^{T}\\alpha_tb_t$" ] }, { "cell_type": "markdown", "id": "655a704b", "metadata": {}, "source": [ "[Here](https://www.youtube.com/watch?v=k4G2VCuOMMg) is more detailed example of AdaBoost, as we iterate, we can see the weights increase, especially on the border between classes.\n", "\n", "AdaBoost works well, but [the lack](https://www.cs.princeton.edu/courses/archive/spring07/cos424/papers/boosting-survey.pdf) of explanation for why the algorithm is successful sewed the seeds of doubt. Someone considered it a super-algorithm, a silver bullet, but others were skeptical and believed AdaBoost was just overfitting. \n", "\n", "The overfitting problem did indeed exist, especially when data had strong outliers. Therefore, in those types of problems, AdaBoost was unstable. Fortunately, a few professors in the statistics department at Stanford, who had created Lasso, Elastic Net, and Random Forest, started researching the algorithm. In 1999, Jerome Friedman came up with the generalization of boosting algorithms development - Gradient Boosting (Machine), also known as GBM. With this work, Friedman set up the statistical foundation for many algorithms providing the general approach of boosting for optimization in the functional space.\n", "\n", "CART, bootstrap, and many other algorithms have originated from Stanford's statistics department. In doing so, the department has solidified their names in future textbooks. These algorithms are very practical, and some recent works have yet to be widely adopted. For example, check out [glinternet](https://arxiv.org/abs/1308.2719). " ] }, { "cell_type": "markdown", "id": "d0400fdc-fee3-4249-be13-bd4506fa307f", "metadata": {}, "source": [ "Not many video recordings of Friedman are available. Although, there is a very interesting [interview](https://www.youtube.com/watch?v=8hupHmBVvb0) with him about the creation of CART and how they solved statistics problems (which is similar to data analysis and data science today) more than 40 years ago.\n", "\n", "There is also a great [lecture](https://www.youtube.com/watch?v=zBk3PK3g-Fc) from Hastie, a retrospective on data analysis from one of the creators of methods that we use everyday.\n", "\n", "In general, there has been a transition from engineering and algorithmic research to a full-fledged approach to building and studying algorithms. From a mathematical perspective, this is not a big change - we are still adding (or boosting) weak algorithms and enlarging our ensemble with gradual improvements for parts of the data where the model was inaccurate. But, this time, the next simple model is not just built on re-weighted objects but improves its approximation of the gradient of overall objective function. This concept greatly opens up our algorithms for imagination and extensions." ] }, { "cell_type": "markdown", "id": "6d217f3f", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Comparison_between_various_boost_function.png\n", "---\n", "name: 'Comparison between various boost function'\n", "width: 90%\n", "---\n", "Comparison between various boost function\n", ":::" ] }, { "cell_type": "markdown", "id": "21403b5a", "metadata": {}, "source": [ "### History of GBM\n", "\n", "It took more than 10 years after the introduction of GBM for it to become an essential part of the data science toolbox. \n", "GBM was extended to apply to different statistics problems: GLMboost and GAMboost for strengthening already existing GAM models, CoxBoost for survival curves, and RankBoost and LambdaMART for ranking. \n", "Many realizations of GBM also appeared under different names and on different platforms: Stochastic GBM, GBDT (Gradient Boosted Decision Trees), GBRT (Gradient Boosted Regression Trees), MART (Multiple Additive Regression Trees), and more. In addition, the ML community was very segmented and dissociated, which made it hard to track just how widespread boosting had become. \n", "\n", "At the same time, boosting had been actively used in search ranking. This problem was rewritten in terms of a loss function that penalizes errors in the output order, so it became convenient to simply insert it into GBM. AltaVista was one of the first companies who introduced boosting to ranking. Soon, the ideas spread to Yahoo, Yandex, Bing, etc. Once this happened, boosting became one of the main algorithms that was used not only in research but also in core technologies in industry.\n", "\n", " ML competitions, especially Kaggle, played a major role in boosting's popularization. Now, researchers had a common platform where they could compete in different data science problems with large number of participants from around the world. With Kaggle, one could test new algorithms on the real data, giving algoritms oppurtunity to \"shine\", and provide full information in sharing model performance results across competition data sets. This is exactly what happened to boosting when it was used at [Kaggle](http://blog.kaggle.com/2011/12/21/score-xavier-conort-on-coming-second-in-give-me-some-credit/) (check interviews with Kaggle winners starting from 2011 who mostly used boosting). The [XGBoost](https://github.com/dmlc/xgboost) library quickly gained popularity after its appearance. XGBoost is not a new, unique algorithm; it is just an extremely effective realization of classic GBM with additional heuristics.\n", "\n", "This algorithm has gone through very typical path for ML algorithms today: mathematical problem and algorithmic crafts to successful practical applications and mass adoption years after its first appearance." ] }, { "cell_type": "markdown", "id": "2ddf842c", "metadata": {}, "source": [ "## GBM algorithm" ] }, { "cell_type": "markdown", "id": "9592da9b", "metadata": {}, "source": [ "### ML problem statement\n", "\n", "We are going to solve the problem of function approximation in a general supervised learning setting. We have a set of features $ \\large x $ and target variables $\\large y, \\large \\left\\{ (x_i, y_i) \\right\\}_{i=1, \\ldots,n}$ which we use to restore the dependence $\\large y = f(x) $. We restore the dependence by approximating $ \\large \\hat{f}(x) $ and by understanding which approximation is better when we use the loss function $ \\large L(y,f) $, which we want to minimize: $ \\large y \\approx \\hat{f}(x), \\large \\hat{f}(x) = \\underset{f(x)}{\\arg\\min} \\ L(y,f(x)) $ " ] }, { "cell_type": "markdown", "id": "15b24d15", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Find_function.png\n", "---\n", "name: 'Find function'\n", "width: 90%\n", "---\n", "Find function\n", ":::" ] }, { "cell_type": "markdown", "id": "0b0fb377", "metadata": {}, "source": [ "At this moment, we do not make any assumptions regarding the type of dependence $ \\large f(x) $, the model of our approximation $ \\large \\hat{f}(x) $, or the distribution of the target variable ($ \\large y $). We only expect that the function $ \\large L(y,f) $ is differentiable. Our formula is very general; let's define it for a particular data set with a population mean $ \\large \\hat {f}(x) $. Our expression for minimizing the loss of the data is the following:\n", "\n", "$$ \\large \\hat{f}(x) = \\underset{f(x)}{\\arg\\min} \\ \\mathbb {E} _{x,y}[L(y,f(x))] $$" ] }, { "cell_type": "markdown", "id": "31bd89d8", "metadata": {}, "source": [ "Unfortunately, the number of functions $ \\large f(x) $ is not just large, but its functional space is infinite-dimensional. That is why it is acceptable for us to limit the search space by some family of functions $ \\large f(x, \\theta), \\theta \\in \\mathbb{R}^d $. This simplifies the objective a lot because now we have a solvable optimization of parameter values:\n", "\n", "$$ \\large \\hat{f}(x) = f(x, \\hat{\\theta}), \\\\\n", "\\large \\hat{\\theta} = \\underset{\\theta}{\\arg\\min} \\ \\mathbb {E} _{x,y}[L(y,f(x,\\theta))] $$" ] }, { "cell_type": "markdown", "id": "afc570a8", "metadata": {}, "source": [ "Simple analytical solutions for finding the optimal parameters $ \\large \\hat{\\theta} $ often do not exist, so the parameters are usually approximated iteratively. To start, we write down the empirical loss function $ \\large L_{\\theta}(\\hat{\\theta}) $ that will allow us to evaluate our parameters using our data. Additionally, let's write out our approximation $ \\large \\hat{\\theta} $ for a number of $ \\large M $ iterations as a sum:\n", " \n", "$$ \\large \\hat{\\theta} = \\sum_{i = 1}^M \\hat{\\theta_i}, \\\\\n", "\\large L_{\\theta}(\\hat{\\theta}) = \\sum_{i = 1}^N L(y_i,f(x_i, \\hat{\\theta}))$$ " ] }, { "cell_type": "markdown", "id": "3f08c12f", "metadata": {}, "source": [ "Then, the only thing left is to find a suitable, iterative algorithm to minimize $\\large L_{\\theta}(\\hat{\\theta})$. Gradient descent is the simplest and most frequently used option. We define the gradient as $\\large \\nabla L_{\\theta}(\\hat{\\theta})$ and add our iterative evaluations $\\large \\hat{\\theta_i}$ to it (since we are minimizing the loss, we add the minus sign). Our last step is to initialize our first approximation $\\large \\hat{\\theta_0}$ and choose the number of iterations $\\large M$. Let's review the steps for this inefficient and naive algorithm for approximating $\\large \\hat{\\theta}$:\n", "\n", "1. Define the initial approximation of the parameters $\\large \\hat{\\theta} = \\hat{\\theta_0}$\n", "2. For every iteration $\\large t = 1, \\dots, M$ repeat steps 3-7:\n", "1. Calculate the gradient of the loss function $\\large \\nabla L_{\\theta}(\\hat{\\theta})$ for the current approximation $\\large \\hat{\\theta}$:$\\large \\nabla L_{\\theta}(\\hat{\\theta}) = \\left[\\frac{\\partial L(y, f(x, \\theta))}{\\partial \\theta}\\right]_{\\theta = \\hat{\\theta}}$\n", " \n", "2. Set the current iterative approximation $\\large \\hat{\\theta_t}$ based on the calculated gradient $\\large \\hat{\\theta_t} \\leftarrow −\\nabla L_{\\theta}(\\hat{\\theta})$\n", "3. Update the approximation of the parameters $\\large \\hat{\\theta}$:$\\large \\hat{\\theta} \\leftarrow \\hat{\\theta} + \\hat{\\theta_t} = \\sum_{i = 0}^t \\hat{\\theta_i} $\n", "3. Save the result of approximation $\\large \\hat{\\theta}$:$\\large \\hat{\\theta} = \\sum_{i = 0}^M \\hat{\\theta_i} $\n", "4. Use the function that was found $\\large \\hat{f}(x) = f(x, \\hat{\\theta})$ " ] }, { "cell_type": "markdown", "id": "73d5a14b", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Iteration_steps.jpg\n", "---\n", "name: 'Iteration steps'\n", "width: 90%\n", "---\n", "Iteration steps\n", "::: " ] }, { "cell_type": "markdown", "id": "664c9111", "metadata": {}, "source": [ "### Functional gradient descent\n", "\n", "Let's imagine for a second that we can perform optimization in the function space and iteratively search for the approximations $\\large \\hat{f}(x)$ as functions themselves. We will express our approximation as a sum of incremental improvements, each being a function. For convenience, we will immediately start with the sum from the initial approximation $\\large \\hat{f_0}(x)$:$\\large \\hat{f}(x) = \\sum_{i = 0}^M \\hat{f_i}(x)$\n", "\n", "Nothing has happened yet; we have only decided that we will search for our approximation $\\large \\hat{f}(x)$ not as a big model with plenty of parameters (as an example, neural network), but as a sum of functions, pretending we move in functional space.\n", "\n", "In order to accomplish this task, we need to limit our search by some function family $\\large \\hat{f}(x) = h(x, \\theta)$. There are a few issues here -- first of all, the sum of models can be more complicated than any model from this family; secondly, the general objective is still in functional space. Let's note that, on every step, we will need to select an optimal coefficient $\\large \\rho \\in \\mathbb{R}$. For step $\\large t$, the problem is the following:\n", "\n", "$$\\large \\hat{f}(x) = \\sum_{i = 0}^{t-1} \\hat{f_i}(x), \\\\\n", "\\large (\\rho_t,\\theta_t) = \\underset{\\rho,\\theta}{\\arg\\min} \\ \\mathbb {E} _{x,y}[L(y,\\hat{f}(x) + \\rho \\cdot h(x, \\theta))], \\\\\n", "\\large \\hat{f_t}(x) = \\rho_t \\cdot h(x, \\theta_t)$$ " ] }, { "cell_type": "markdown", "id": "f91a76e4", "metadata": {}, "source": [ "Here is where the magic happens. We have defined all of our objectives in general terms, as if we could have trained any kind of model $\\large h(x, \\theta)$ for any type of loss functions $\\large L(y, f(x, \\theta))$. In practice, this is extremely difficult, but, fortunately, there is a simple way to solve this task.\n", "\n", "Knowing the expression of loss function's gradient, we can calculate its value on our data. So, let's train the models such that our predictions will be more correlated with this gradient (with a minus sign). In other words, we will use least squares to correct the predictions with these residuals. For classification, regression, and ranking tasks, we will minimize the squared difference between pseudo-residuals $\\large r$ and our predictions. For step $\\large t$, the final problem looks like the following: \n", "\n", "$$ \\large \\hat{f}(x) = \\sum_{i = 0}^{t-1} \\hat{f_i}(x), \\\\\n", "\\large r_{it} = -\\left[\\frac{\\partial L(y_i, f(x_i))}{\\partial f(x_i)}\\right]_{f(x)=\\hat{f}(x)}, \\quad \\text{for } i=1,\\ldots,n ,\\\\\n", "\\large \\theta_t = \\underset{\\theta}{\\arg\\min} \\ \\sum_{i = 1}^{n} (r_{it} - h(x_i, \\theta))^2, \\\\\n", "\\large \\rho_t = \\underset{\\rho}{\\arg\\min} \\ \\sum_{i = 1}^{n} L(y_i, \\hat{f}(x_i) + \\rho \\cdot h(x_i, \\theta_t))$$ " ] }, { "cell_type": "markdown", "id": "69258654", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Regression_for_you.jpg\n", "---\n", "name: 'Regression for you'\n", "width: 90%\n", "---\n", "Regression for you\n", "::: " ] }, { "cell_type": "markdown", "id": "db72ff19", "metadata": {}, "source": [ "### Friedman's classic GBM algorithm\n", "\n", "We can now define the classic GBM algorithm suggested by Jerome Friedman in 1999. It is a supervised algorithm that has the following components:\n", "\n", "- dataset $\\large \\left\\{ (x_i, y_i) \\right\\}_{i=1, \\ldots,n}$;\n", "- number of iterations $\\large M$;\n", "- choice of loss function $\\large L(y, f)$ with a defined gradient;\n", "- choice of function family of base algorithms $\\large h(x, \\theta)$ with the training procedure;\n", "- additional hyperparameters $\\large h(x, \\theta)$ (for example, in decision trees, the tree depth);\n", "\n", "The only thing left is the initial approximation $\\large f_0(x)$. For simplicity, for an initial approximation, a constant value $\\large \\gamma$ is used. The constant value, as well as the optimal coefficient $\\large \\rho $, are identified via binary search or another line search algorithm over the initial loss function (not a gradient). So, we have our GBM algorithm described as follows:" ] }, { "cell_type": "markdown", "id": "26ebba74", "metadata": {}, "source": [ "1. Initialize GBM with constant value $\\large \\hat{f}(x) = \\hat{f}_0, \\hat{f}_0 = \\gamma, \\gamma \\in \\mathbb{R}$\n", "$\\large \\hat{f}_0 = \\underset{\\gamma}{\\arg\\min} \\ \\sum_{i = 1}^{n} L(y_i, \\gamma)$\n", "2. For each iteration $\\large t = 1, \\dots, M$, repeat:\n", "1. Calculate pseudo-residuals $\\large r_t$:\n", "$\\large r_{it} = -\\left[\\frac{\\partial L(y_i, f(x_i))}{\\partial f(x_i)}\\right]_{f(x)=\\hat{f}(x)}, \\quad \\text{for } i=1,\\ldots,n$\n", "2. Build new base algorithm $\\large h_t(x)$ as regression on pseudo-residuals $\\large \\left\\{ (x_i, r_{it}) \\right\\}_{i=1, \\ldots,n}$\n", "3. Find optimal coefficient $\\large \\rho_t $ at $\\large h_t(x)$ regarding initial loss function\n", "$\\large \\rho_t = \\underset{\\rho}{\\arg\\min} \\ \\sum_{i = 1}^{n} L(y_i, \\hat{f}(x_i) + \\rho \\cdot h(x_i, \\theta))$\n", "4. Save $\\large \\hat{f_t}(x) = \\rho_t \\cdot h_t(x)$\n", "5. Update current approximation $\\large \\hat{f}(x)$:\n", "$\\large \\hat{f}(x) \\leftarrow \\hat{f}(x) + \\hat{f_t}(x) = \\sum_{i = 0}^{t} \\hat{f_i}(x)$\n", "3. Compose final GBM model $\\large \\hat{f}(x)$:\n", "$\\large \\hat{f}(x) = \\sum_{i = 0}^M \\hat{f_i}(x) $\n", "4. Conquer Kaggle and the rest of the world " ] }, { "cell_type": "markdown", "id": "45764859", "metadata": {}, "source": [ "### Step-By-Step example: How GBM Works\n", "\n", "Let's see an example of how GBM works. In this toy example, we will restore a noisy function $\\large y = cos(x) + \\epsilon, \\epsilon \\sim \\mathcal{N}(0, \\frac{1}{5}), x \\in [-5,5]$. " ] }, { "cell_type": "markdown", "id": "79a55b86", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Regression_problem.jpg\n", "---\n", "name: 'Regression problem'\n", "width: 90%\n", "---\n", "Regression problem\n", "::: " ] }, { "cell_type": "markdown", "id": "c7bdaa4f", "metadata": {}, "source": [ "This is a regression problem with a real-valued target, so we will choose to use the mean squared error loss function. We will generate 300 pairs of observations and approximate them with decision trees of depth 2. Let's put together everything we need to use GBM:\n", "- Toy data $\\large \\left\\{ (x_i, y_i) \\right\\}_{i=1, \\ldots,300}$ ✓\n", "- Number of iterations $\\large M = 3$ ✓;\n", "- The mean squared error loss function $\\large L(y, f) = (y-f)^2$ ✓\n", "- Gradient of $\\large L(y, f) = L_2$ loss is just residuals $\\large r = (y - f)$ ✓;\n", "- Decision trees as base algorithms $\\large h(x)$ ✓;\n", "- Hyperparameters of the decision trees: trees depth is equal to 2 ✓;\n", "\n", "For the mean squared error, both initialization $\\large \\gamma$ and coefficients $\\large \\rho_t$ are simple. We will initialize GBM with the average value $\\large \\gamma = \\frac{1}{n} \\cdot \\sum_{i = 1}^n y_i$, and set all coefficients $\\large \\rho_t$ to 1.\n", "\n", "We will run GBM and draw two types of graphs: the current approximation $\\large \\hat{f}(x)$ (blue graph) and every tree $\\large \\hat{f_t}(x)$ built on its pseudo-residuals (green graph). The graph's number corresponds to the iteration number: " ] }, { "cell_type": "markdown", "id": "21758bc0", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Current_approximation_and_every_tree.png\n", "---\n", "name: 'Current approximation and every tree'\n", "width: 90%\n", "---\n", "Current approximation and every tree\n", "::: " ] }, { "cell_type": "markdown", "id": "ec5dd918", "metadata": {}, "source": [ "By the second iteration, our trees have recovered the basic form of the function. However, at the first iteration, we see that the algorithm has built only the \"left branch\" of the function ($\\large x \\in [-5, -4]$). This was due to the fact that our trees simply did not have enough depth to build a symmetrical branch at once, and it focused on the left branch with the larger error. Therefore, the right branch appeared only after the second iteration.\n", "\n", "The rest of the process goes as expected -- on every step, our pseudo-residuals decreased, and GBM approximated the original function better and better with each iteration. However, by construction, trees cannot approximate a continuous function, which means that GBM is not ideal in this example. To play with GBM function approximations, you can use the awesome interactive demo in this blog called [Brilliantly wrong](http://arogozhnikov.github.io/2016/06/24/gradient_boosting_explained.html): " ] }, { "cell_type": "markdown", "id": "db2b4f7a", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/How_GBM_works.jpg\n", "---\n", "name: 'How GBM Works'\n", "width: 90%\n", "---\n", "How GBM Works\n", "::: " ] }, { "cell_type": "markdown", "id": "f81e0ada", "metadata": {}, "source": [ "## Loss functions\n", "\n", "If we want to solve a classification problem instead of regression, what would change? We only need to choose a suitable loss function $\\large L(y, f)$. This is the most important, high-level moment that determines exactly how we will optimize and what characteristics we can expect in the final model.\n", "\n", "As a rule, we do not need to invent this ourselves – researchers have already done it for us. Today, we will explore loss functions for the two most common objectives: regression $\\large y \\in \\mathbb{R}$ and binary classification $\\large y \\in \\left\\{-1, 1\\right\\}$. " ] }, { "cell_type": "markdown", "id": "dac9b64c", "metadata": {}, "source": [ "### Regression loss functions\n", "\n", "Let's start with a regression problem for $\\large y \\in \\mathbb{R}$. In order to choose the appropriate loss function, we need to consider which of the properties of the conditional distribution $\\large (y|x)$ we want to restore. The most common options are:\n", "\n", "- $\\large L(y, f) = (y - f)^2$ a.k.a. $\\large L_2$ loss or Gaussian loss. It is the classical conditional mean, which is the simplest and most common case. If we do not have any additional information or requirements for a model to be robust, we can use the Gaussian loss.\n", "- $\\large L(y, f) = |y - f|$ a.k.a. $\\large L_1$ loss or Laplacian loss. At the first glance, this function does not seem to be differentiable, but it actually defines the conditional median. Median, as we know, is robust to outliers, which is why this loss function is better in some cases. The penalty for big variations is not as heavy as it is in $\\large L_2$.\n", "- $\\large \\begin{array}{ll} L(y, f) =\\left\\{ \\begin{array}{ll} (1 - \\alpha) \\cdot |y - f|, & \\text{if}\\ y-f \\leq 0 \\\\ \\alpha \\cdot |y - f|, & \\text{if}\\ y-f >0 \\end{array}\\right. \\end{array}, \\alpha \\in (0,1)\n", "$ a.k.a. $\\large L_q$ loss or Quantile loss. Instead of median, it uses quantiles. For example, $\\large \\alpha = 0.75$ corresponds to the 75%-quantile. We can see that this function is asymmetric and penalizes the observations which are on the right side of the defined quantile. " ] }, { "cell_type": "markdown", "id": "5b4b16da", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Asymmetric_function.png\n", "---\n", "name: 'Asymmetric function'\n", "width: 90%\n", "---\n", "Asymmetric function\n", "::: " ] }, { "cell_type": "markdown", "id": "23102c87", "metadata": {}, "source": [ "Let's use loss function $\\large L_q$ on our data. The goal is to restore the conditional 75%-quantile of cosine. Let us put everyting together for GBM:\n", "- Toy data $\\large \\left\\{ (x_i, y_i) \\right\\}_{i=1, \\ldots,300}$ ✓\n", "- A number of iterations $\\large M = 3$ ✓;\n", "- Loss function for quantiles $ \\begin{array}{ll}L_{0.75}(y, f) = \\left\\{ \\begin{array}{ll} 0.25 \\cdot |y - f|, & \\text{if}\\ y - f \\leq 0 \\\\ 0.75 \\cdot |y - f|, & \\text{if}\\ y - f > 0 \\end{array} \\right. \\end{array}$ ✓;\n", "- Gradient $\\large L_{0.75}(y, f)$ - function weighted by $\\large \\alpha = 0.75$. We are going to train tree-based model for classification:\n", "$\\large r_{i} = -\\left[\\frac{\\partial L(y_i, f(x_i))}{\\partial f(x_i)}\\right]_{f(x)=\\hat{f}(x)} = $\n", "$\\large = \\alpha I(y_i > \\hat{f}(x_i) ) - (1 - \\alpha)I(y_i \\leq \\hat{f}(x_i) ), \\quad \\text{for } i=1,\\ldots,300$ ✓;\n", "- Decision tree as a basic algorithm $\\large h(x)$ ✓;\n", "- Hyperparameter of trees: depth = 2 ✓;\n", "\n", "For our initial approximation, we will take the needed quantile of $\\large y$. However, we do not know anything about optimal coefficients $\\large \\rho_t$, so we'll use standard line search. The results are the following:" ] }, { "cell_type": "markdown", "id": "726daac1", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Standard_line_search.png\n", "---\n", "name: 'Standard line search'\n", "width: 90%\n", "---\n", "Standard line search\n", "::: " ] }, { "cell_type": "markdown", "id": "d295b401", "metadata": {}, "source": [ "We can observe that, on each iteration, $\\large r_{i} $ take only 2 possible values, but GBM is still able to restore our initial function.\n", "\n", "The overall results of GBM with quantile loss function are the same as the results with quadratic loss function offset by $\\large \\approx 0.135$. But if we were to use the 90%-quantile, we would not have enough data due to the fact that classes would become unbalanced. We need to remember this when we deal with non-standard problems.\n", " \n", "For regression tasks, many loss functions have been developed, some of them with extra properties. For example, they can be robust like in the [Huber loss function](https://en.wikipedia.org/wiki/Huber_loss). For a small number of outliers, the loss function works as $\\large L_2$, but after a defined threshold, the function changes to $\\large L_1$. This allows for decreasing the effect of outliers and focusing on the overall picture.\n", "\n", "We can illustrate this with the following example. Data is generated from the function $\\large y = \\frac{sin(x)}{x}$ with added noise, a mixture from normal and Bernulli distributions. We show the functions on graphs A-D and the relevant GBM on F-H (graph E represents the initial function): " ] }, { "cell_type": "markdown", "id": "170c3cab", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Functions_and_relevant_GBM.jpg\n", "---\n", "name: 'Functions and relevant GBM'\n", "width: 90%\n", "---\n", "Functions and relevant GBM\n", "::: " ] }, { "cell_type": "markdown", "id": "7f0e0b34", "metadata": {}, "source": [ "In this example, we used splines as the base algorithm. See, it does not always have to be trees for boosting?\n", "\n", "We can clearly see the difference between the functions $\\large L_2$, $\\large L_1$, and Huber loss. If we choose optimal parameters for the Huber loss, we can get the best possible approximation among all our options. The difference can be seen as well in the 10%, 50%, and 90%-quantiles.\n", "\n", "Unfortunately, Huber loss function is supported only by very few popular libraries/packages; h2o supports it, but XGBoost does not. It is relevant to other things that are more exotic like [conditional expectiles](https://www.slideshare.net/charthur/quantile-and-expectile-regression), but it may still be interesting knowledge.\n", " " ] }, { "cell_type": "markdown", "id": "10d01c75", "metadata": {}, "source": [ "### Classification loss functions\n", "\n", "Now, let's look at the binary classification problem $\\large y \\in \\left\\{-1, 1\\right\\}$. We saw that GBM can even optimize non-differentiable loss functions. Technically, it is possible to solve this problem with a regression $\\large L_2$ loss, but it wouldn't be correct.\n", "\n", "The distribution of the target variable requires us to use log-likehood, so we need to have different loss functions for targets multiplied by their predictions: $\\large y \\cdot f$. The most common choices would be the following:\n", "\n", "- $\\large L(y, f) = log(1 + exp(-2yf))$ a.k.a. Logistic loss or Bernoulli loss. This has an interesting property that penalizes even correctly predicted classes, which helps not only helps to optimize loss but also to move the classes apart further, even if all classes are predicted correctly.\n", "- $\\large L(y, f) = exp(-yf)$ a.k.a. AdaBoost loss. The classic AdaBoost is equivalent to GBM with this loss function. Conceptually, this function is very similar to logistic loss, but it has a bigger exponential penalization if the prediction is wrong. " ] }, { "cell_type": "markdown", "id": "ebbc39fe", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/AdaBoost_and_logistic.png\n", "---\n", "name: 'AdaBoost and logistic'\n", "width: 90%\n", "---\n", "AdaBoost and logistic\n", "::: " ] }, { "cell_type": "markdown", "id": "9585a364", "metadata": {}, "source": [ "Let's generate some new toy data for our classification problem. As a basis, we will take our noisy cosine, and we will use the sign function for classes of the target variable. Our toy data looks like the following (jitter-noise is added for clarity): " ] }, { "cell_type": "markdown", "id": "65c650d2", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Toy_data.jpg\n", "---\n", "name: 'Toy data'\n", "width: 90%\n", "---\n", "Toy data\n", "::: " ] }, { "cell_type": "markdown", "id": "a26b6462", "metadata": {}, "source": [ "We will use logistic loss to look for what we actually boost. So, again, we put together what we will use for GBM:\n", "- Toy data $\\large \\left\\{ (x_i, y_i) \\right\\}_{i=1, \\ldots,300}, y_i \\in \\left\\{-1, 1\\right\\}$ ✓\n", "- Number of iterations $\\large M = 3$ ✓;\n", "- Logistic loss as the loss function, its gradient is computed the following way:\n", "$\\large r_{i} = \\frac{2 \\cdot y_i}{1 + exp(2 \\cdot y_i \\cdot \\hat{f}(x_i)) }, \\quad \\text{for } i=1,\\ldots,300$ ✓;\n", "- Decision trees as base algorithms $\\large h(x)$ ✓;\n", "- Hyperparameters of the decision trees: tree's depth is equal to 2 ✓;\n", "\n", "This time, the initialization of the algorithm is a little bit harder. First, our classes are imbalanced (63% versus 37%). Second, there is no known analytical formula for the initialization of our loss function, so we have to look for $\\large \\hat{f_0} = \\gamma$ via search: " ] }, { "cell_type": "markdown", "id": "8e4c848c", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Initialization_of_algorithm.png\n", "---\n", "name: 'Initialization of algorithm'\n", "width: 90%\n", "---\n", "Initialization of algorithm\n", "::: " ] }, { "cell_type": "markdown", "id": "dcc1436e", "metadata": {}, "source": [ "Our optimal initial approximation is around -0.273. You could have guessed that it was negative because it is more profitable to predict everything as the most popular class, but there is no formula for the exact value. Now let's finally start GBM, and look what actually happens under the hood:" ] }, { "cell_type": "markdown", "id": "4c8bf630", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Result_of_GBM.png\n", "---\n", "name: 'Result of GBM'\n", "width: 90%\n", "---\n", "Result of GBM\n", "::: " ] }, { "cell_type": "markdown", "id": "6cf8b7a1", "metadata": {}, "source": [ "The algorithm successfully restored the separation between our classes. You can see how the \"lower\" areas are separating because the trees are more confident in the correct prediction of the negative class and how the two steps of mixed classes are forming. It is clear that we have a lot of correctly classified observations and some amount of observations with large errors that appeared due to the noise in the data." ] }, { "cell_type": "markdown", "id": "eec84e21", "metadata": {}, "source": [ "### Weights\n", "\n", "Sometimes, there is a situation where we want a more specific loss function for our problem. For example, in financial time series, we may want to give bigger weight to large movements in the time series; for churn prediction, it is more useful to predict the churn of clients with high LTV (or lifetime value: how much money a client will bring in the future). " ] }, { "cell_type": "markdown", "id": "87681b76", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Statistical_learning.jpg\n", "---\n", "name: 'Statistical learning'\n", "width: 90%\n", "---\n", "Statistical learning\n", "::: " ] }, { "cell_type": "markdown", "id": "3dfb74e8", "metadata": {}, "source": [ "The statistical warrior would invent their own loss function, write out the gradient for it (for more effective training, include the Hessian), and carefully check whether this function satisfies the required properties. However, there is a high probability of making a mistake somewhere, running up against computational difficulties, and spending an inordinate amount of time on research.\n", "\n", "In lieu of this, a very simple instrument was invented (which is rarely remembered in practice): weighing observations and assigning weight functions. The simplest example of such weighting is the setting of weights for class balance. In general, if we know that some subset of data, both in the input variables $\\large x$ and in the target variable $\\large y$, has greater importance for our model, then we just assign them a larger weight $\\large w(x,y)$. The main goal is to fulfill the general requirements for weights:\n", "\n", "$$ \\large w_i \\in \\mathbb{R}, \\\\\n", "\\large w_i \\geq 0 \\quad \\text{for } i=1,\\ldots,n, \\\\\n", "\\large \\sum_{i = 1}^n w_i > 0 $$" ] }, { "cell_type": "markdown", "id": "e99eba67-ee00-46da-bbe0-ffe7f7c878d7", "metadata": {}, "source": [ "Weights can significantly reduce the time spent adjusting the loss function for the task we are solving and also encourages experiments with the target models' properties. Assigning these weights is entirely a function of creativity. We simply add scalar weights:\n", "\n", "$$ \\large L_{w}(y,f) = w \\cdot L(y,f), \\\\\n", "\\large r_{it} = - w_i \\cdot \\left[\\frac{\\partial L(y_i, f(x_i))}{\\partial f(x_i)}\\right]_{f(x)=\\hat{f}(x)}, \\quad \\text{for } i=1,\\ldots,n$$\n", "\n", "It is clear that, for arbitrary weights, we do not know the statistical properties of our model. Often, linking the weights to the values $\\large y$ can be too complicated. For example, the usage of weights proportional to $\\large |y|$ in $\\large L_1$ loss function is not equivalent to $\\large L_2$ loss because the gradient will not take into account the values of the predictions themselves: $\\large \\hat{f}(x)$.\n", "\n", "We mention all of this so that we can understand our possibilities better. Let's create some very exotic weights for our toy data. We will define a strongly asymmetric weight function as follows:\n", "\n", "$$ \\large \\begin{equation} w(x) =\\left\\{ \\begin{array}{ll} 0.1, & \\text{if}\\ x \\leq 0 \\\\ 0.1 + |cos(x)|, & \\text{if}\\ x >0 \\end{array}\\right. \\end{equation} $$" ] }, { "cell_type": "markdown", "id": "93f8a32e", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Asymmetric_weight_function.png\n", "---\n", "name: 'Asymmetric weight function'\n", "width: 90%\n", "---\n", "Asymmetric weight function\n", "::: " ] }, { "cell_type": "markdown", "id": "f093ec74", "metadata": {}, "source": [ "With these weights, we expect to get two properties: less detailing for negative values of $\\large x$ and the form of the function, similar to the initial cosine. We take the other GBM's tunings from our previous example with classification including the line search for optimal coefficients. Let's look what we've got: " ] }, { "cell_type": "markdown", "id": "1fc572ab", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Adjusted_result_of_GBM.png\n", "---\n", "name: 'Adjusted result of GBM'\n", "width: 90%\n", "---\n", "Adjusted result of GBM\n", "::: " ] }, { "cell_type": "markdown", "id": "64ec810f", "metadata": {}, "source": [ "We achieved the result that we expected. First, we can see how strongly the pseudo-residuals differ; on the initial iteration, they look almost like the original cosine. Second, the left part of the function's graph was often ignored in favor of the right one, which had larger weights. Third, the function that we got on the third iteration received enough attention and started looking similar to the original cosine (also started to slightly overfit).\n", "\n", "Weights are a powerful but risky tool that we can use to control the properties of our model. If you want to optimize your loss function, it is worth trying to solve a more simple problem first but add weights to the observations at your discretion." ] }, { "cell_type": "markdown", "id": "da9c1e8b", "metadata": {}, "source": [ "## Conclusion\n", "\n", "Today, we learned the theory behind gradient boosting. GBM is not just some specific algorithm but a common methodology for building ensembles of models. In addition, this methodology is sufficiently flexible and expandable -- it is possible to train a large number of models, taking into consideration different loss-functions with a variety of weighting functions.\n", "\n", "Practice and ML competitions show that, in standard problems (except for image, audio, and very sparse data), GBM is often the most effective algorithm (not to mention stacking and high-level ensembles, where GBM is almost always a part of them). Also, there are many adaptations of GBM [for Reinforcement Learning](https://arxiv.org/abs/1603.04119) (Minecraft, ICML 2016). By the way, the Viola-Jones algorithm, which is still used in computer vision, [is based on AdaBoost](https://en.wikipedia.org/wiki/Viola%E2%80%93Jones_object_detection_framework#Learning_algorithm).\n", "\n", "In this article, we intentionally omitted questions concerning GBM’s regularization, stochasticity, and hyper-parameters. It was not accidental that we used a small number of iterations $\\large M = 3$ throughout. If we used 30 trees instead of 3 and trained the GBM as described, the result would not be that predictable: " ] }, { "cell_type": "markdown", "id": "fd9c1044", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Good_fit.png\n", "---\n", "name: 'Good fit'\n", "width: 90%\n", "---\n", "Good fit\n", "::: " ] }, { "cell_type": "markdown", "id": "485ac665", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Overfitting.png\n", "---\n", "name: 'Overfitting'\n", "width: 90%\n", "---\n", "Overfitting\n", "::: " ] }, { "cell_type": "markdown", "id": "f527938d", "metadata": {}, "source": [ ":::{figure} https://static-1300131294.cos.ap-shanghai.myqcloud.com/images/ml-advanced/gradient_boosting/Gradient_boosting_interactive_playground.jpg\n", "---\n", "name: 'Gradient Boosting Interactive Playground'\n", "width: 90%\n", "---\n", "Gradient Boosting Interactive Playground\n", "::: " ] }, { "cell_type": "markdown", "id": "86fc565f", "metadata": {}, "source": [ "You can go to the [Gradient Boosting Interactive Playground](http://arogozhnikov.github.io/2016/07/05/gradient_boosting_playground.html) to learn more." ] }, { "cell_type": "markdown", "id": "cf82191d", "metadata": {}, "source": [ "## Your turn! 🚀\n", "\n", "TBD" ] }, { "cell_type": "markdown", "id": "a63d23ac", "metadata": {}, "source": [ "## Acknowledgments\n", "\n", "Thanks to [Yury Kashnitsky](https://www.kaggle.com/kashnitsky) for creating the open-source course [Gradient Boosting](https://www.kaggle.com/code/kashnitsky/topic-10-gradient-boosting/notebook). It inspires the majority of the content in this chapter." ] } ], "metadata": { "kernelspec": { "display_name": "Python 3 (ipykernel)", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.9.18" } }, "nbformat": 4, "nbformat_minor": 5 }