- Last time we talked about the challenges of recognition. Recall the semantic gap.
- Also: The KNN classifier, the CIFAR-10 classifier. Cross-Validatin, hyperparameters.
- The linear classifier as an example of a parametric classifier, where the training data is summarised into the weights matrix . It returns class probabilities. We can interpret the linear classifier as learning a template for each class. Also linear decision boundaries between points in high-dimensional space.
We have an understanding of the linear classifier, but we don’t really know how to get the correct .
- Define a Loss function that quantifies our unhappiness with the scores across the training data
- Come up with parameters that efficiently minimize the loss function (optimization). Ie. searching through the space of possible
Given a dataset of examples
Where is the th image and is the corresponsing label. For CIFAR-10, will be images, will be an integer between 0 and 9 to denote the class. examples in the training set.
Loss over the dataset is a sum of loss over the examples:
We have some prediciotn function that takes in an image and our weight matrix . takes the predicted scores coming out of and the actual true labels and give some quantitative value of how bad the predicted scores are. The final loss is the average () of all the losses over the dataset.
This general setup is generally the same for a lot of different learning models.
Multiclass SVM (support vector machine) loss
We sum up the difference between scores for each incorrect class and the correct class. If the prediction function returns the correct class (with the arbitrary safety margin of ) the loss is 0.
Where ) and is an arbitrary safety margin. This function (where we take max of 0 and something) is also known as a hinge loss because of the shape of the graph when you plot the loss.
The equation above could also be written as an if/then (case-based) notation.
In English, this loss function says that we are happy when the true class score is a lot higher than all other classes.
At initialization is small, so all . We should expect a loss of
If we went over all classes (instead of only ) the loss increases by 1. If you did this in practice, you would still find the same classifier, it’s just nicer to aim for a loss of 0. You can also square the hinge function, to get a different loss function. If you’re using a squared loss, very bad results will be very very bad (because it’s now exponential). Using a linear vs a square depends on how much we care about different kinds of errors.
Numpy code to comput
def L_i_vecotrized(x, y, W): scores = W.dot(x) margins = np.maximum(0, scores - scores[y] + 1) margins[y] = 0 # This is to remove the score for the correct class (easier than writing a loop or whatever) loss_i = np.sum(margins) return loss_i
that gives is not unique. also gives .
This is problematic. If this loss function is supposed to find the right , how is it supposed to choose between these different versions of that all give ? This is because the loss we’ve written down is data loss: Model predictions should match training data. When in the real world, we don’t really care how well the model matches the training data. This can be a source of overfitting, which we solve through Regularization. We normally add a regularization parameter to the loss function that encourages a “simple” , where “simple” depends on the model.
This is Occam’s Razor: Among competing hypothesis, the simplest is the best.
So the above loss function now has a data loss and a regularization loss, with a hyperparameter which trades off between the two. This is a kind of soft constraint on the model.
There’s a lot of different types of regularization:
- L2 Regularization penalises the Euclidian norm of the weight vector:
- L1 Regularization:
- Elastic net (L1 + L2)
- Max norm regularization
- Dropout (specific to deep learning)
- Fancier: Batch normalisation
These things all do the same thing: enocourage the model to be simple.
Softmax Classifier Loss (Mutinomial Logistic Regression). Cross-entropy loss!
Recall for the Multiclass SVM we didn’t really give meaning to the scores.
Here the scores are unnormalized log probabilities of the classes.
For a loss function, we want to minimize the negative log likelihoof of the correct class. If we know the image is a cat, the target probability would be 1 for cat and 0 for everything else.
We want to enocourage the probability distribution coming out of the softmax to be the same as the target. We want the true class probability to be close to 1. In practice we:
- Take the scores out of the softmax classifier (unnormalized log probabilities)
- exponate (so they’re all positive)
- Normalize (so they add up to 1)
The loss is the minus log of the correct class.
To get a 0 loss, you would have to have an inifite score for the correct class and minus infinity for everything else. Minimum is 0, and maximum is . SVM will get the datapoint over the safety margin, while Softmax will keep pushing forever. In practice, the difference isn’t that big.
- We have some dataset
- We have a score function (that makes predictions):
- We have a loss function:
- The Full Loss is the average of all the losses plus a regularization term:
This is a pretty generic view of supervised learning.
Imagine you’re walking around this valley. The bottom of the valley is the minimum of the loss function. With complex models, there’s really no hope to find an analytical solution to this.
Maybe the stupidest thing you could think of is random search: Just try different values for and see how they do.
In practice, it’s better to use the local geometry of the valley (ie. the local gradient/slope).
In a one-dimensional function, the slope is the derivative of the function:
You calculate the slope for a section of the curve, then let the length of that section go to 0 and you get the local slope.
We need to generalise to multi-dimensions: In multiple dimensions, the gradient is the vector of (partial derivatives) along each dimension. Each element in the gradient vector tells us the slope of the function if we go in that dimension.
A lot of deep learning is about computing gardients and using it. We could imagine computing the gradients using finite differences: Change each element in by a small amount, recompute the loss, measure the difference and approximate the gradient that way.
This is terrible because it is slow: A deep learning model might have 100s of millions of parameters. Better to use calculus, because we know the gradient is a function of .
In practice, you use an analytical gradient, but you can use a numerical gradient to debug. This is called a gradient check.
Once we know how to compute the gradient, we get to gradient descent, which is just beautiful:
while True: weights_gradient = evaluate_gradient(loss_function, data, weights) weight += - step_size * weights_gradient
Recall the gradient points in the direction of greatest increase, so we use the minus gradient. We take small steps in the direction of minus gradient until the network converges.
The step size (or learning rate) is on of the most hyperparameter to set when you train these models. Because we could either take forever, or walk past the minimum if the learning rate is too small or too big.
The above example is very basic - we just make a small step in the direction of minus gradient. There are slightly fancier step rules that work better in practice:
- GD with momentum
- ADAM optimization
But it’s still the same basic algorithm.
Stochastic gradient descent
In practice, could be very, very large (thus slow). Thus, SGD, where we sample a random subset (mini-batch) of the training set at each training step (32,64,128 instances are common). In code:
while True: data_batch = sample_training_data(data, 256) #get 256 examples weights_gradient = evaluate_gradient(loss_fun, data_batch, weights) weights += - step_size * weights_gradient #parameter update
Aside: Image Features
In practice, feeding linear pixel values into a linear classifier doesn’t work so well. Before neural networks, you would compute some feature representation of the image and feed that into the linear classifier. The idea here is that non-linear datasets might become linearly seperable through some smart feature representation.
Examples feature representation
- Colour histogram: This tells you globally what colours are in the image
- Histogram of oriented gradients: (essentially some kind of edge detection in small sub-regions of the image)
- Bag of Words: An idea from NLP where you count up the number of each word in a paragraph. For images, you define a vocabluary of visual words.
- Extract random patches from images, and cluster these patches to form a codebook
- Encode the image by trying to say how often each visual word appears in the image
Today, this whole long feature extraction pipeline is replaced by Convolutional networks. Instead of writing down the features before training, we will let the network learn them from the data.
Next: Neural networks, backpropagation.