Stanford-CS231N-Assignment札记7:模型可视化和GAN

Stanford2021年春季课程CS231N:Convolutional Neural Networks for Visual Recognition的一些作业笔记,这门课的作业围绕视觉相关的任务,需要从底层手动实现一大批经典机器学习算法和神经网络模型,本文是作业的第七部分,包含了GAN的实现和手写数字生成等具体的任务。

神经网络模型的可视化

其实在做GAN之前还有一个任务是做神经网络的可视化,这里的可视化不是说把模型的架构可视化成图表,而是对模型中的图像梯度进行可视化的呈现。

对于一个神经网络模型,我们往往要定义一个loss函数来衡量我们对模型现在训练得到的结果和真实情况之间的不匹配程度(也可以叫我们对模型的unhappiness),然后我们通过反向传播的方法对各个参数的梯度进行更新,用这样的方法使得模型的经验损失达到最小。而在这个作业中,我们将使用一个已经在imagenet上预训练好的CNN模型,然后计算其反向传播时候的梯度,并对dX进行可视化,得到的结果如下:

Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图1

  • 可以发现求出的梯度比较大的地方基本都是图像中的关键物体对应的区域

其实我也不知道这部分作业究竟要干嘛,就简单跳过了,我们重点来关注下一节GAN

生成对抗网络GAN

GAN的基本知识

生成对抗网络GAN(Genrative Adversarial Network,GAN)是2014年提出的一个在深度学习史上具有划时代意义的方法,使用生成对抗网络成为了训练生成模型的一种主流方法。

我们之前训练的模型大多数是用来进行分类任务的,也就是要判断一个图像是不是属于某个类别,这种模型被称为是判别器(discriminator),而GAN提出,我们需要用真的数据和假的数据作为输入,来训练一个判别器,其中真数据是出现在训练集中的数据,而假数据是没有出现在训练集中,通过人工手段生成的,生成假数据的网络模型就被称为生成器(generator),生成器接受一个随机噪声作为输入,然后通过神经网络将其转化成一个假数据,然后用这些假数据作为输入来训练判别器。

当生成器生成的图片足以以假乱真的时候,我们就可以同时获得一个高质量的数据判别器和数据生成器。在CV任务中,我们就用生成器来生成图片,而用判别器作为图像分类器。

我们将生成器记为G,判别器记为D,那么整个GAN模型的目标函数就可以定义成:

Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图2%5D%2B%5Cmathbb%7BE%7D%7Bz%20%5Csim%20p(z)%7D%5B%5Clog%20(1-D(G(z)))%5D%0A#card=math&code=%5Cunderset%7BG%7D%7B%5Coperatorname%7Bminimize%7D%7D%20%5Cunderset%7BD%7D%7B%5Coperatorname%7Bmaximize%7D%7D%20%5Cmathbb%7BE%7D%7Bx%20%5Csim%20p%7B%5Ctext%20%7Bdata%20%7D%7D%7D%5B%5Clog%20D%28x%29%5D%2B%5Cmathbb%7BE%7D%7Bz%20%5Csim%20p%28z%29%7D%5B%5Clog%20%281-D%28G%28z%29%29%29%5D%0A)

  • 这个损失函数的意思就是,判别器D喜欢自己对数据的分类能力能够尽可能强,而生成器希望自己从随机噪声Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图3#card=math&code=z%5Csim%20p%28z%29)中生成的数据Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图4#card=math&code=G%28z%29)可以尽可能愚弄判别器D,让判别器无法判别。
  • 因为Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图5#card=math&code=G%28z%29)是一个假的图片,所以被模型D判断成真图片才是分类错误,所以希望被D判断成0(假图片,即判断正确)的概率应该尽可能小

而在这个实验中,我们将优化目标分成了两个部分:

  • 首先是对生成器G进行更新,让图片被被误判的概率最大化(前面说的是被正确判断的概率最小化)
  • 然后对判别器D进行更新,让其正确判断数据的能力最大化

分成两个部分也就是说G和D分别有一个损失函数

GAN的实现

下面我们具体来实现一个GAN模型,并使用这个模型来实现手写数字的生成,使用的数据集是经典的MNIST

随机噪声的生成

首先我们需要实现一个生成随机噪声的方法,这个其实很简单,只需要通过torch.rand就可以了,但是这个api生成的是Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图6#card=math&code=%280%2C%201%29)之间的分布,我们可以用一个线性变换将其转化到区间Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图7#card=math&code=%28-1%2C1%29)上

  1. def sample_noise(batch_size, dim, seed=None):
  2. if seed is not None:
  3. torch.manual_seed(seed)
  4. # rand生成的是0-1的随机数
  5. result = 2 * torch.rand((batch_size, dim)) - 1
  6. return result

生成器和判别器的实现

生成器G和判别器D实际上就是两个神经网络,为了简化,我们这里使用的就是两个全连接神经网络,其定义分别如下:

  1. def generator(noise_dim=NOISE_DIM, seed=None):
  2. """
  3. Build and return a PyTorch model implementing the architecture above.
  4. """
  5. if seed is not None:
  6. torch.manual_seed(seed)
  7. model = nn.Sequential(
  8. nn.Linear(noise_dim, 1024),
  9. nn.ReLU(),
  10. nn.Linear(1024, 1024),
  11. nn.ReLU(),
  12. nn.Linear(1024, 784),
  13. nn.Tanh()
  14. )
  15. return model
  16. def discriminator(seed=None):
  17. """
  18. Build and return a PyTorch model implementing the architecture above.
  19. """
  20. if seed is not None:
  21. torch.manual_seed(seed)
  22. model = nn.Sequential(
  23. Flatten(),
  24. nn.Linear(784, 256),
  25. nn.LeakyReLU(negative_slope=0.01),
  26. nn.Linear(256, 256),
  27. nn.LeakyReLU(negative_slope=0.01),
  28. nn.Linear(256, 1)
  29. )
  30. return model

GAN的损失函数

到这里为止GAN其实也没什么特别的,我觉得GAN的特色在于它的两个损失函数,两个神经网络G和D损失函数的定义分别是

Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图8%7D%5Cleft%5B%5Clog%20D(G(z))%5Cright%5D%0A#card=math&code=%5CellG%20%20%3D%20%20-%5Cmathbb%7BE%7D%7Bz%20%5Csim%20p%28z%29%7D%5Cleft%5B%5Clog%20D%28G%28z%29%29%5Cright%5D%0A)

Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图9%5Cright%5D%20-%20%5Cmathbb%7BE%7D%7Bz%20%5Csim%20p(z)%7D%5Cleft%5B%5Clog%20%5Cleft(1-D(G(z))%5Cright)%5Cright%5D%0A#card=math&code=%5Cell_D%20%3D%20-%5Cmathbb%7BE%7D%7Bx%20%5Csim%20p%5Ctext%7Bdata%7D%7D%5Cleft%5B%5Clog%20D%28x%29%5Cright%5D%20-%20%5Cmathbb%7BE%7D%7Bz%20%5Csim%20p%28z%29%7D%5Cleft%5B%5Clog%20%5Cleft%281-D%28G%28z%29%29%5Cright%29%5Cright%5D%0A)

这几个表达式里的E表示的就是一个小批次数据上的平均值,而每条数据的对数概率,实际上就等价于其交叉熵,我们假设判别器预测的结果是s,而这条数据正确的标签是y,那么其交叉熵就可以定义成:

Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图10%20%3D%20-y%20%20%5Clog(s)%20-%20(1%20-%20y)%20%20%5Clog(1%20-%20s)%0A#card=math&code=bce%28s%2C%20y%29%20%3D%20-y%20%2A%20%5Clog%28s%29%20-%20%281%20-%20y%29%20%2A%20%5Clog%281%20-%20s%29%0A)

我们需要手动来实现这些loss函数:

  1. def bce_loss(input, target):
  2. neg_abs = - input.abs()
  3. loss = input.clamp(min=0) - input * target + (1 + neg_abs.exp()).log()
  4. return loss.mean()
  5. def discriminator_loss(logits_real, logits_fake):
  6. """
  7. Computes the discriminator loss described above.
  8. Inputs:
  9. - logits_real: PyTorch Tensor of shape (N,) giving scores for the real data.
  10. - logits_fake: PyTorch Tensor of shape (N,) giving scores for the fake data.
  11. Returns:
  12. - loss: PyTorch Tensor containing (scalar) the loss for the discriminator.
  13. """
  14. N = logits_real.shape[0]
  15. real_labels = torch.ones(N).type(dtype)
  16. fake_labels = 1 - real_labels
  17. loss = bce_loss(logits_real, real_labels) + bce_loss(logits_fake, fake_labels)
  18. return loss
  19. def generator_loss(logits_fake):
  20. N = logits_fake.shape[0]
  21. fake_labels = torch.ones(N).type(dtype)
  22. loss = bce_loss(logits_fake, fake_labels)
  23. return loss

这里其实计算loss的时候就已经把输入分成正确和对的了,因此我们可以直接生成对应的真实标签real_labels, fake_labels然后用给定的bce_loss()方法来计算loss

实验结果

写完这些东西之后就可以用作业提供的代码跑起一个GAN模型,最后的生成器生成的手写数字效果如下图:

Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图11

更强的损失函数和模型架构

上面展示了一个简单的GAN(G和D都是层数比较浅的全连接神经网络,损失函数也是最简单的形态)的生成效果,可以看到生成的结果虽然初具人形,但是没有特别好,而在GAN一经提出之后,无数相关的论文就如同雨后春笋般涌现出来,他们提出了很多更强的损失函数和更复杂的模型架构(用深层的CNN),比如:

最小平方GAN

最小平方GAN提出一种基于最小平方损失的GAN模型,据说比普通的GAN更加稳定,效果更好,它的损失函数定义是:

Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图12%7D%5Cleft%5B%5Cleft(D(G(z))-1%5Cright)%5E2%5Cright%5D%0A#card=math&code=%5CellG%20%20%3D%20%20%5Cfrac%7B1%7D%7B2%7D%5Cmathbb%7BE%7D%7Bz%20%5Csim%20p%28z%29%7D%5Cleft%5B%5Cleft%28D%28G%28z%29%29-1%5Cright%29%5E2%5Cright%5D%0A)

Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图13-1%5Cright)%5E2%5Cright%5D%20%2B%20%5Cfrac%7B1%7D%7B2%7D%5Cmathbb%7BE%7D%7Bz%20%5Csim%20p(z)%7D%5Cleft%5B%20%5Cleft(D(G(z))%5Cright)%5E2%5Cright%5D%0A#card=math&code=%5Cell_D%20%3D%20%5Cfrac%7B1%7D%7B2%7D%5Cmathbb%7BE%7D%7Bx%20%5Csim%20p%5Ctext%7Bdata%7D%7D%5Cleft%5B%5Cleft%28D%28x%29-1%5Cright%29%5E2%5Cright%5D%20%2B%20%5Cfrac%7B1%7D%7B2%7D%5Cmathbb%7BE%7D%7Bz%20%5Csim%20p%28z%29%7D%5Cleft%5B%20%5Cleft%28D%28G%28z%29%29%5Cright%29%5E2%5Cright%5D%0A)

在进行相同的训练之后,这种GAN生成的手写数字如下图所示:

Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图14

可以依稀感觉到比原生的GAN更加清晰一点。

DCGAN和InfoGAN

DCGAN和InfoGAN是使用了CNN作为G和D的GAN模型,它们的模型架构比较复杂,比如DCGAN的判别器是一个深度CNN,具体的架构是:

  • Conv2D: 32 Filters, 5x5, Stride 1
  • Leaky ReLU(alpha=0.01)
  • Max Pool 2x2, Stride 2
  • Conv2D: 64 Filters, 5x5, Stride 1
  • Leaky ReLU(alpha=0.01)
  • Max Pool 2x2, Stride 2
  • Flatten
  • Fully Connected with output size 4 x 4 x 64
  • Leaky ReLU(alpha=0.01)
  • Fully Connected with output size 1

而InfoGAN的生成器是一个深度CNN,具体的架构是:

  • Fully connected with output size 1024
  • ReLU
  • BatchNorm
  • Fully connected with output size 7 x 7 x 128
  • ReLU
  • BatchNorm
  • Reshape into Image Tensor of shape 7, 7, 128
  • Conv2D^T (Transpose): 64 filters of 4x4, stride 2, ‘same’ padding (use padding=1)
  • ReLU
  • BatchNorm
  • Conv2D^T (Transpose): 1 filter of 4x4, stride 2, ‘same’ padding (use padding=1)
  • TanH
  • Should have a 28x28x1 image, reshape back into 784 vector

作业中将DCGAN的判别器和InfoGAN的生成器组合成了一个新的GAN,训练之后最后得到的效果是:

Stanford-CS231N-Assignment札记7:模型可视化,图像欺诈和GAN - 图15

可以发现随着模型复杂度变大,生成的手写数字效果也在变好,不过代价也很明显,就是训练的时间大幅度提高了。