You can write your code in any programming language so long as we are able to test it on SICE servers. We plan to run some or all or submitted code for further testing and validation.

Overview: Bayesian GLM

In this programming project we will be working with Generalized Linear Models as covered in class, including Logistic regression, Poisson regression and Ordinal regression. Your goal is to use one generic implementation for the main algorithm that works for multiple observation likelihoods.

Data

Data for this assignment is provided in a zip file pp3data.zip on Canvas. Each dataset is given in two files with the data in one and the labels in the other file. We will use the datasets A and usps for classification with logistic regression. We will use the datasets AP for count prediction with Poisson regression. We will use the datasets AO for ordinal prediction with ordinal regression.

The datasets A, AP, AO were artificially generated with labels which are not perfectly matched to any linear predictor yet they are generated to be somewhat predictable. The examples in usps represent 1616 bitmaps of the characters 3 and 5 and are taken from the well known usps dataset (representing data originally used for zip code classification).

Implementing our variant of GLM

In this assignment we will use a Bayesian (or regularized) version of the algorithm with w ), where = 10, to calculate the MAP solution w_MAP .

• As discussed in class logistic regression (and by extension GLM) relies on a free parameter (w₀) to capture an appropriate separating hyperplane. Therefore, you will need to add a feature fixed at one (also known as an intercept) to all datasets in the assignment. To match the test case below please add this as the first column in the data matrix.
• The vector of first derivatives of the log posterior is g = ^LogL_w = ^P_i d_i(x_i)w = ^T dw where d is a vector whose elements are d_i.
• The matrix of second derivatives of the log posterior is H = ww^LogL_T = ^P_i r_i(x_i)(x_i)^T I = ^T R I where R is a matrix with elements r_i on the diagonal.
• The GLM algorithm initializes the weight vector as w = 0 and then repeatedly applies an update with Netwons method w w H¹g until w
• For this assignment we consider that w has converged if . If w has not converged in 100 iterations we stop and output the last w as our solution.
• The final vector, when the algorithm stops is w_MAP . In this assignment we will use w_MAP for prediction (i.e. we will not calculate a predictive distribution).

Likelihood models

• In order to apply the algorithm for any likelihood model and to evaluate its predictions we need to specify 4 items: (1) d_i, (2) r_i, (3) how to compute our prediction t for test example z, and (4) how to calculate the error when we predict tand the true label is t.
• For the logistic likelihood we have: y_i = (w^T (x_i)) and the first derivative term is d_i = t_iy_i or d = t y. The second derivative term is r_i = y_i(1 y_i). For test example z we predict t = 1 iff p(t = 1) = (w_MAP^T (z)) 0. The error is 1 if t6= t.
• Note that for the logistic model the update formula as developed in class is w_n+1 w_n (I ^T R)¹[^T (t y) w_n]. You might want to start developing your code and testing it with this special case and then generalize it to handle all likelihoods. To help you test your implementation of this algorithm we provide an additional dataset, irlstest, and solution weight vector in irlsw (for = 0.1). The first entry in irlsw corresponds to w₀.
• For the Poisson likelihood we have: y_i = e^(wT(xi)) and the first derivative term is d_i = t_iy_i or d = ty. The second derivative term is r_i = y_i. For test example z we have p(t) = Poisson() where a = w_MAP^T (z) and = e^a. We predict the mode t = b For this assignment we will use the absolute error: err = |t t|.
• For the ordinal model with K levels we have parameters s and ₀ = < ₁ < < _K1 < _K = where for this assignment we will use K = 5, s = 1 and ₀ = < ₁ = 2 < ₂ = 1 < ₃ = 0 < ₄ = 1 < ₅ = . The model is somewhat sensitive to the setting of hyperparameters so it is important to use these settings.

Here a_i = w^T (x_i) and for potential label j {1,K} we have y_i,j = (s(_j a_i)). Using this notation, for example i with label t_i we have d_i = y_i,ti + y_i,(ti1) 1. For the second

derivative we have ri = s2[yi,ti(1 yi,ti) + yi,(ti1)(1 yi,(ti1))].

To predict for test example z we first calculate the y values: a = w_MAP^T (z) and for potential label j {1,K} we have y_j = (s(_j a)). We then calculate p_j = y_j y_j1 and select t= argmax_j p_j. For this assignment we will use the absolute error, or the number of levels we are off in prediction, that is, err = |t t|.

While you could implement these as three separate algorithms, you are expected to provide one implementation of the main optimization which is given access to procedures calculating the 4 items above to make a concrete instance of GLM.

Evaluating the implementation

Your task is to implement the GLM algorithm and generate learning curves with error bars (i.e., 1) as follows.

Repeat 30 times

Step 1) Set aside 1/3 of the total data (randomly selected) to use as a test set.

Step 2) Permute the remaining data and record the test set error rate as a function of increasing training set portion (0.1,0.2, ,1 of the total size).

Calculate the mean and standard deviation for each size and plot the result. In addition record the number of iterations and the run time untill convergence in each run and report their averages.

In your submission provide 4 plots, one for each dataset, and corresponding runtime/iterations statistics, and provide a short discussion of the results. Are the learning curves as expected? how does learning time vary across datasets for classification? and across the likelihood models? what are the main costs affecting these (time per iteration, number of iterations)?

Extra Credit

Explore some approach for model selection for in all models and/or for s and in the ordinal model and report your results. You may want to generate your own data with known parameters in order to test the success of algorithms in identifying good parameters