Constrained Convolutional Neural Networks for Weakly Supervised Segmentation

Deepak Pathak, Philipp Krähenbühl, Trevor Darrell

Introduction

In recent years, standard computer vision tasks, such as recognition or classification, have made tremendous progress. This is primarily due to the widespread adoption of Convolutional Neural Networks (CNNs) . Existing models excel by their capacity to take advantage of massive amounts of fully supervised training data . This reliance on full supervision is a major limitation on scalability with respect to the number of classes or tasks. For structured prediction problems, such as semantic segmentation, fully supervised, i.e. pixel-level, labels are both expensive and time consuming to obtain. Summarization of the semantic-labels in terms of weak supervision, e.g. image-level tags or bounding box annotations, is often less costly. Leveraging the full potential of these weak annotations is challenging, and existing approaches are susceptible to diverging into bad local optima from which recovery is difficult .

In this paper, we present a framework to incorporate weak supervision into the learning procedure through a series of linear constraints. In general, it is easier to express simple constraints on the output space than to craft regularizers or adhoc training procedures to guide the learning. In semantic segmentation, such constraints can describe the existence and expected distribution of labels from image-level tags. For example, given a car is present in an image, a certain number of pixels should be labeled as car.

We propose Constrained CNN (CCNN), a method which uses a novel loss function to optimize convolutional networks with arbitrary linear constraints on the structured output space of pixel labels. The non-convex nature of deep nets makes a direct optimization of the constraints difficult. Our key insight is to model a distribution over latent “ground truth” labels while the output of the deep net follows this latent distribution as closely as possible. This allows us to enforce the constraints on the latent distribution instead of the network output, which greatly simplifies the resulting optimization problem. The resulting objective is a biconvex problem for linear models. For deep nonlinear models, it results in an alternating convex and gradient based optimization which can be naturally integrated into standard stochastic gradient descent (SGD). As illustrated in Figure 1, after each iteration the output is pulled towards the closest point on the constrained manifold of plausible semantic segmentation. Our Constrained CNN is guided by weak annotations and trained end-to-end.

We evaluate CCNN on the problem of multi-class semantic segmentation with varying levels of weak supervision defined by different linear constraints. Our approach achieves state-of-the-art performance on Pascal VOC 2012 compared to other weak learning approaches. It does not require pixel-level labels for any objects during the training time, but infers them directly from the image-level tags. We show that our constrained optimization framework can incorporate additional forms of weak supervision, such as a rough estimate of the size of an object. The proposed technique is general, and can incorporate many forms of weak supervision.

Related Work

Weakly supervised learning seeks to capture the signal that is common to all the positives but absent from all the negatives. This is challenging due to nuisance variables such as pose, occlusion, and intra-class variation. Learning with weak labels is often phrased as Multiple Instance Learning . It is most frequently formulated as a maximum margin problem, although boosting and Noisy-OR models have been explored as well. The multiple instance max-margin classification problem is non-convex and solved as an alternating minimization of a biconvex objective . MI-SVM or LSVM are two classic methods in this paradigm. This setting naturally applies to weakly-labeled detection . However, most of these approaches are sensitive to the initialization of the detector . Several heuristics have been proposed to address these issues , however they are usually specific to detection.

Traditionally, the problem of weak segmentation and scene parsing with image level labels has been addressed using graphical models, and parametric structured models . Most works exploit low-level image information to connect regions similar in appearance . Chen et al. exploit top-down segmentation priors based on visual subcategories for object discovery. Pinheiro et al. and Pathak et al. extend the multiple-instance learning framework from detection to semantic segmentation using CNNs. Their methods iteratively reinforce well-predicted outputs while suppressing erroneous segmentations contradicting image-level tags. Both algorithms are very sensitive to the initialization, and rely on carefully pretrained classifiers for all layers in the convolutional network. In contrast, our constrained optimization is much less sensitive and recovers a good solution from any random initialization of the classification layer.

Papandreou et al. include an adaptive bias into the multi-instance learning framework. Their algorithm boosts classes known to be present and suppresses all others. We show that this simple heuristic can be viewed as a special case of a constrained optimization, where the adaptive bias controls the constraint satisfaction. However the constraints that can be modeled by this adaptive bias are limited and cannot leverage the full power of weak labels. In this paper, we show how to apply more general linear constraints which lead to better segmentation performance.

Constrained optimization problems have long been approximated by artificial neural networks . These models are usually non-parametric, and solve just a single instance of a linear program. Platt et al. show how to optimize equality constraints on the output of a neural network. However the resulting objective is highly non-convex, which makes a direct minimization hard. In this paper, we show how to optimize a constrained objective by alternating between a convex and gradient-based optimization.

The resulting algorithm is similar to generalized expectation and posterior regularization in natural language processing. Both methods train a parametric model that matches certain expectation constraints by applying a penalty to the objective function. Generalized expectation adds the expected constraint penalty directly to objective, which for convolutional networks is hard and expensive to evaluate directly. Ganchev et al. constrain an auxiliary variable yielding an algorithm similar to our objective in dual space.

Preliminaries

We define a pixel-wise labeling for an image II as a set of random variables X={x0,,xn}X=\{x_{0},\ldots,x_{n}\} where nn is the number of pixles in an image. xiLx_{i}\in\mathcal{L} takes one of mm discrete labels L={1,,m}\mathcal{L}=\{1,\ldots,m\}. CNN models a probability distribution Q(Xθ,I)Q(X|\theta,I) over those random variables, where θ\theta are the parameters of the network. The distribution is commonly modeled as a product of independent marginals Q(Xθ,I)=iqi(xiθ,I)Q(X|\theta,I)=\prod_{i}q_{i}(x_{i}|\theta,I), where each of the marginal represents a softmax probability:

where Z_{i}=\sum_{l\in\mathcal{L}}\exp\big{(}f_{i}(l;\theta,I)\big{)} is the partition function of a pixel ii. The function fif_{i} represents the real-valued score of the neural network. A higher score corresponds to a higher likelihood.

Standard learning algorithms aim to maximize the likelihood of the observed training data under the model. This requires full knowledge of the ground truth labeling, which is not available in the weakly supervised setting. In the next section, we show how to optimize the parameters of a CNN using some high-level constraints on the distribution of output labeling. An overview of this is given in Figure 2. In Section 5, we then present a few examples of useful constraints for weak labeling.

Constrained Optimization

For notational convenience, let QI\vec{Q}_{I} be the vectorized form of network output Q(Xθ,I)Q(X|\theta,I). The Constrained CNN (CCNN) optimization can be framed as:

For notational simplicity, we derive our inference algorithm for a single image with A=AIA=A_{I}, b=bI\vec{b}=\vec{b}_{I} and Q=QI\vec{Q}=\vec{Q}_{I}. The entire derivation generalizes to an arbitrary number of images and constraints. Constraints include for example lower and upper bounds on the expected number of foreground and background pixel labels in a scene. For more examples, see Section 5. In the first part of this section, we assume that all constraints are satisfiable, meaning there always exists a parameter setting θ\theta such that AQbA\vec{Q}\geq\vec{b}. In Section 4.3, we lift this assumption by adding slack variables to each of the constraints.

While problem (2) is convex in the network output QQ, it is generally not convex with respect to the network parameters θ\theta. For any non-linear function QQ, the matrix AA can be chosen such that the constraint is an upper or lower bound to QQ, one of which is non-convex. This makes a direct optimization hard. As a matter of fact, not even log-linear models, such as logistic regression, can be directly optimized under this objective. Alternatively, one could optimize the Lagrangian dual of (2). However this is computationally very expensive, as we would need to optimize an entire convolutional neural network in an inner loop of a dual descent algorithm.

In order to efficiently optimize problem (2), we introduce a latent probability distribution P(X)P(X) over the semantic labels XX. We constrain P(X)P(X) to lie in the feasibility region of the constrained objective while removing the constraints on the network output QQ. We then encourage PP and QQ to model the same probability distribution by minimizing their respective KL-divergence. The resulting problem is defined as

The new objective is much easier to optimize, as it decouples the constraints from the network output. For fixed network parameters θ\theta, the problem is convex in PP. For a fixed latent distribution PP, the problem reduces to a standard cross entropy loss which is optimized using stochastic gradient descent.

In the remainder of this section, we derive an algorithm to optimize problem (11) using block coordinate descent. Section 4.1 solves the constrained optimization for PP while keeping the network parameters θ\theta fixed. Section 4.2 then incorporates this optimization into standard stochastic gradient descent, keeping PP fixed while optimizing for θ\theta. Each step is guaranteed to decrease the overall energy of problem (11), converging to a good local optimum. At the end of this section, we show how to handle constraints that are not directly satisfiable by adding a slack variable to the loss.

We first show how to optimize problem (11) with respect to PP while keeping the convnet output fixed. The objective function is convex with linear constraints, which implies Slaters condition and hence strong duality holds as long as the constraints are satisfiable . We can therefore optimize problem (11) by maximizing its dual function, i.e.,

where λ0\lambda\geq 0 are the dual variables pertaining to the inequality constraints and fi(l;θ)f_{i}(l;\theta) is the score of the convnet classifier for pixel ii and label ll. Ai;lA_{i;l} is the column of AA corresponding to pi(l)p_{i}(l). A detailed derivation of this dual function is provided in the supplementary material.

The dual function is concave and can be optimized globally using projected gradient ascent . The gradient of the dual function is given by λL(λ)=bAP\frac{\partial}{\partial\lambda}\mathcal{L}(\lambda)=\vec{b}-A\vec{P}, which results into

where Z_{i}=\sum_{l}\exp\big{(}f_{i}(l;\theta)+A_{i;l}^{\top}\lambda\big{)} is the local partition function ensuring that the distribution pi(xi)p_{i}(x_{i}) sums to one for xiL\forall x_{i}\in\mathcal{L}. Intuitively, the projected gradient descent algorithm increases the dual variables for all constraints that are not satisfied. Those dual variables in turn adjust the distribution pip_{i} to fulfill the constraints. The projected dual gradient descent algorithm usually converges within fewer than 5050 iterations, making the optimization highly efficient.

Next, we show how to incorporate this estimate of P(X)P(X) into the standard stochastic gradient descent algorithm.

2 SGD

For a fixed latent distribution PP, problem (11) reduces to the standard cross entropy loss

The gradient of this loss function is given by fi(xi)L(θ)=qi(xiθ)pi(xi)\frac{\partial}{\partial\vec{f}_{i}(x_{i})}L(\theta)=\vec{q}_{i}(x_{i}|\theta)-\vec{p}_{i}(x_{i}). For linear models, the loss function (5) is convex and can be optimized using any gradient based optimization. For multi-layer deep networks, we optimize it using back-propagation and stochastic gradient descent (SGD) with momentum, as implemented in Caffe .

Theoretically, we would need to keep the latent distribution PP fixed for a few iterations of SGD until the objective value decreases. Otherwise, we are not strictly guaranteed that the overall objective (11) decreases. However, in practice we found inferring a new latent distribution at every step of SGD does not hurt the performance and leads to a faster convergence.

In summary, we optimize problem (11) using SGD, where at each iteration we infer a latent distribution PP which defines both our loss and loss gradient. Figure 3 shows an overview of the training procedure. For more details, see Section 6.

Up to this point, we assumed that all the constraints are simultaneously satisfiable. While this might hold for carefully chosen constraints, our optimization should be robust to arbitrary linear constraints. In the next section, we relax this assumption by adding a slack variable to the constraint set and show that this slack variable can then be easily integrated into the optimization.

3 Constraints with slack variable

This objective is now guaranteed to be satisfiable for any assignment to PP and any linear constraint. Similar to (4), this is optimized using projected dual coordinate ascent. The dual objective function is exactly same as (4). The weighting term of the hinge loss β\beta merely acts as an upper bound on the dual variable i.e. 0λβ0\leq\lambda\leq\beta. A detailed derivation of this loss is given in the supplementary material.

This slack relaxed loss allows the optimization to ignore certain constraints if they become too hard to enforce. It also trades off between various competing constraints.

Constraints for Weak Semantic Segmentation

We now describe all constraints we use for our weakly supervised semantic segmentation. For each training image II, we are given a set of image-level labels LI\mathcal{L}_{I}. Our constraints affect different parts of the output space depending on the image-level labels. All the constraints are complementary, and each constraint exploits the set of image-level labels differently.

The most natural constraint is to suppress any label ll that does not appear in the image.

This constraint alone is not sufficient, as a solution involving all background labels satisfies it perfectly. We can easily address this by adding a lower-bound constraint for labels present in an image.

Foreground constraint

This foreground constraint is very similar to the commonly used multiple instance learning (MIL) paradigm, where at least one pixel is constrained to be positive . Unlike MIL, our foreground constraint can encourage multiple pixels to take a specific foreground label by increasing ala_{l}. In practice, we set al=0.05na_{l}=0.05n with a slack of β=2\beta=2, where nn is the number of outputs of our network.

While this foreground constraint encourages some of the pixels to take a specific label, it is often not strong enough to encourage all pixels within an object to take the correct label. We could increase ala_{l} to encourage more foreground labels, but this would over-emphasize small objects. A more natural solution is to constrain the total number of foreground labels in the output, which is equivalent to constraining the overall area of the background label.

Background constraint

Here l=0l=0 is assumed to be the background label. We apply both a lower and upper bound on the background label. This indirectly controls the minimum and maximum combined area of all foreground labels. We found a0=0.3na_{0}=0.3n and b0=0.7nb_{0}=0.7n to work well in practice.

The above constraints are all complementary and ensure that the final labeling follows the image-level labels LI\mathcal{L}_{I} as closely as possible. If we also have access to the rough size of an object, we can exploit this information during training. In our experiments, we show that substantial gains can be made by simply knowing if a certain object class covers more or less than 10%10\% of the image.

Size constraint

We exploit the size constraint in two ways: We boost all classes larger than 10%10\% of the image by setting al=0.1na_{l}=0.1n. We also put an upper bound constraint on the classes ll that are guaranteed to be small

In practice, a threshold bl<0.01nb_{l}<0.01n works slightly better than a tight threshold.

The EM-Adapt algorithm of Papandreou et al. can be seen as a special case of a constrained optimization problem with just suppression and foreground constraints. The adaptive bias parameters then correspond to the Lagrangian dual variables λ\lambda of our constrained optimization. However in the original algorithm of Papandreou et al., the constraints are not strictly enforced especially when some of them conflict. In Section 7, we show that a principled optimization of those constraints, CCNN, leads to a substantial increase in performance.

Implementation Details

In this section, we discuss the overall pipeline of our algorithm applied for semantic image segmentation. We consider the weakly supervised setting i.e. only image-level labels are present during training. At test time, the task is to predict semantic segmentation mask for a given image.

The CNN architecture used in our experiments is derived from VGG 16-layer network . It was pre-trained on Imagenet 1K class dataset, and achieved winning performance on ILSVRC14. We cast the fully connected layers into convolutions in a similar fashion as suggested in , and the last fc8 layer with 1K outputs is replaced by that containing 21 outputs corresponding to 20 object classes in Pascal VOC and background class. The overall network stride of this fully convolutional network is 32s. However, we observe that the slightly modified architecture with the denser 8s network stride proposed in gives better results in the weakly supervised training. Unlike , we do not learn any weights of the last layer from Imagenet. Apart from the initial pre-training, all parameters are finetuned only on Pascal VOC. We initialize the weights of the last layer with random Gaussian noise.

The FCN takes in arbitrarily sized images and produces coarse heatmaps corresponding to each class in the dataset. We apply the convex constrained optimization on these coarse heatmaps, reducing the computational cost. The network is trained using SGD with momentum. We follow and train our models with a batch size of 11, momentum of 0.990.99 and an initial learning rate of 1e1e-66. We train for 6000060000 iterations, which corresponds to roughly 55 epochs. The learning rate is decreased by a factor of 0.10.1 every 2000020000 iterations. We found this setup to outperform a batch size of 2020 with momentum of 0.90.9 . The constrained optimization for single image takes less than 3030 ms on a CPU single core, and could be accelerated using a GPU. The total training time is 8-9 hrs, comparable to .

Inference

At inference time, we optionally apply a fully connected conditional random field model to refine the final segmentation. We used the default parameter provided by the authors for all our experiments.

Experiments

We analyze and compare the performance of our constrained optimization for varying levels of supervision: image-level tags and additional supervision such as object size information. The objective is to learn models to predict dense multi-class semantic segmentation i.e. pixel-wise labeling for any new image. We use the provided supervision with few simple spatial constraints on the output, and don’t use any additional low-level graph-cut based methods in training. The goal is to demonstrate the strength of training with constrained outputs, and how it helps with increasing levels of supervision.

We evaluate CCNNs for the task of semantic image segmentation on PASCAL VOC dataset . The dataset contains pixel-level labels for 2020 object classes and a separate background class. For a fair comparison to prior work, we use the similar setup to train all models. Training is performed on the union of VOC 2012 train set and the larger dataset collected by Hariharan et al. summing upto a total of 10,582 training images. The VOC12 validation set containing a total of 1449 images is kept held-out during ablation studies. The VGG network architecture used in our algorithm was pre-trained on ILSVRC dataset for classification task of 1K classes .

Results are reported in the form of standard intersection over union (IoU) metric, also known as Jaccard Index. It is defined per class as the percentage of pixels predicted correctly out of total pixels labeled or classified as that class. Ablation studies and comparison with baseline methods for both the weak settings are presented in the following subsections.

2 Training from image-level tags

We start by training our model using just image-level tags. We obtain these tags from the presence of a class in the pixel-wise ground truth segmentation masks. The constraints used in this setting are described in Equations (7), (8) and (9). Since some of the baseline methods report results on the VOC12 validation set, we present the performance on both validation and test set. Some methods boost their performance by using a Dense CRF model to post process the final output labeling. To allow for a fair comparison, we present results both with and without a Dense CRF.

Table 1 compares all contemporary weak segmentation methods. Our proposed method, CCNN, outperforms all prior methods for weakly labeled semantic segmentation by a significant margin. MIL-FCN is an extension of learning based on maximum scoring instance based MIL to multi-class segmentation. The algorithm proposed by Pinheiro et al. introduces a soft version of MIL. It is trained on 0.70.7 million images for 21 classes taken from ILSVRC13, which is 7070 times more data than all other approaches used. They achieve boost in performance by re-ranking the pixel probabilities with the image-level priors (ILP) i.e. the probability of class to be present in the image. This suppresses the negative classes and smooths out the predicted segmentation mask. For the EM-Adapt algorithm, we reproduced the models using their publicly available implementationhttps://bitbucket.org/deeplab/deeplab-public/overview. We apply similar set of constraints on EM-Adapt to make sure it is purely a comparison of the approach. Note that unconstrained MIL based approach require the final 21-class classifier to be well initialized for reasonable performance. While our constrained optimization can handle arbitrary random initializations.

We also directly compare our algorithm against the EM-Adapt results as reported in Papandreou et al. for weak segmentation. However, their training procedure uses random crops of both the original image and the segmentation mask. The weak labels are then computed from those random crops. This introduces limited information about the spatial location of the weak tags. Taken to the extreme, a 1×11\times 1 output crop reduces to full supervision. We thus present this result in the next subsection on incorporating increasing supervision.

3 Training with additional supervision

We now consider slightly more supervision than just the image-level tags. Firstly, we consider the training with tags on random crops of original image, following Papandreou et al. . We evaluate our constrained optimization on the EM-Adapt architecture using random crops, and compare to the result obtained from their released caffemodel as shown in Table 3. Using limited spatial information our algorithm slightly outperforms EM-Adapt, mainly due to the more powerful background constraints. Note that the difference is not as striking as in the pure weak label setting. We believe this is due to the fact that the spatial information in combination with the foreground prior emulates the upper bound constraint on background, as a random crop is likely to contain much fewer labels.

The main advantage of CCNN is that there is no restriction of the type of linear constraints that can be used. To demonstrate this further, we incorporate a simple size constraint. For each label, we use one additional bit of information: whether a certain class occupies more than 10%10\% of the image or not. This additional constraint is described in Equation (10). As shown in Table 3, using this one additional bit of information dramatically increases the accuracy. Unfortunately, EM-Adapt heuristic cannot directly incorporate this more meaningful size constraint.

Table 2 reports our results on PASCAL VOC 2012 test server and compares it to fully supervised approaches. To better compare with these methods, we further add a result where the CRF parameters are tuned on 100 validation images. As a final experiment, we gradually add fully supervised images in addition to our weak objective and evaluate the model, i.e., semi-supervised learning. The graph is shown in the supplementary material. Our model makes good use of the additional supervision.

We also evaluate the sensitivity of our model to the parameters of the constraints. We performed line search along each of the bounds while keeping others fixed. In general, our method is very insensitive to wide range of constraint bounds due to the presence of slack variables. The standard deviation in accuracy, averaged over all parameters, is 0.73%0.73\%. Details are provided in the supplementary material.

Qualitative results are shown in Figure 4.

4 Discussion

We further experimented with bounding box constraints. We constrain 75%75\% of pixels within a bounding box to take a specific label, while we suppress any labels outside the bounding box. This additional supervision allows us to boost the IoU accuracy to 54%54\%. This number is competitive with a baseline for which we train a model on all pixels within a bounding box, which gives 52.3%52.3\% . However it is not yet competitive with more sophisticated systems that use more segmentation information within bounding boxes . Those systems perform at roughly 58.562.0%58.5-62.0\% IoU accuracy. We believe the key to this performance is a stronger use of the pixel level segmentation information.

In conclusion, we presented CCNN which is a constrained optimization framework to optimize convolutional networks. The framework is general and can incorporate arbitrary linear constraints. It naturally integrates into standard Stochastic Gradient Descent, and can easily be used in publicly available frameworks such as Caffe .

We showed that constraints are a natural way to describe the desired output space of a labeling and can reduce the amount of strong supervision CNNs require.

This work was supported by DARPA, AFRL, DoD MURI award N000141110688, NSF awards IIS-1427425 and IIS-1212798, and the Berkeley Vision and Learning Center.

Supplementary Material: Constrained Convolutional Neural Networks for Weakly Supervised Segmentation

This document provides detailed derivation for the results used in the paper and additional quantitative experiments to validate the robustness of CCNN algorithm.

In the paper, we optimize constraints on CNN output by introducing latent probability distribution P(X)P(X). Recall the overall main objective as follows:

where HP=XP(X)logP(X)H_{P}=-\sum_{X}P(X)\log P(X) is the entropy of latent distribution, HPQH_{P|Q} is the cross entropy and P\vec{P} is the vectorized version of P(X)P(X). In this supplementary material, we will show how to minimize the objective with respect to PP. For the complete block coordinate descent minimization algorithm with respect to both PP and θ\theta, see the main paper.

Note that the objective function in (11) is KL Divergence of network output distribution Q(Xθ)Q(X|\theta) from P(X)P(X), which is convex. Equation (11) is convex optimization problem, since all constraints are linear. Furthermore, Slaters condition holds as long as the constraints are satisfiable and hence we have strong duality . First, we will use this strong duality to show that the minimum of (11) is a fully factorized distribution. We then derive the dual function (Equation (4) in the main paper), and finally extend the analysis for the case when objective is relaxed by adding slack variable.

I. Latent Distribution

In this section, we show that the latent label distribution P(X)P(X) can be modeled as the product of independent marginals without loss of generality. This is equivalent to showing that the latent distribution that achieves the global optimal value factorizes, while keeping the network parameters θ\theta fixed. First, we simplify the cross entropy term in the objective function in (11) as follows:

We used the linearity of expectation and the fact that qiq_{i} is independent of any variable XjX_{j} for jij\neq i to simplify the objective, as shown above. Here, P(xi=l)=X:xi=lP(X)P(x_{i}=l)=\sum_{X:x_{i}=l}P(X) is the marginal distribution.

Let’s now look at the Lagrangian dual function

The primal objective (11) can be phrased as minPmaxλ0,νL(P,λ,ν)\min_{P}\max_{\lambda\geq 0,\nu}\mathcal{L}(P,\lambda,\nu) which is equivalent to the dual objective maxλ0,νminPL(P,λ,ν)\max_{\lambda\geq 0,\nu}\min_{P}\mathcal{L}(P,\lambda,\nu), due to strong duality.

Maximizing the dual objective can be phrased as maximizing a dual function

where the maximization of ν\nu can be rephrased as a constraint on PP i.e. XP(X)=1\sum_{X}P(X)=1. Maximizing (16) is equivalent to minimizing the original constraint objective (11).

Dual function

Using the definition qi(lθ)=1Ziexp(fi(l;θ))q_{i}(l|\theta)=\frac{1}{Z_{i}}\exp(f_{i}(l;\theta)) we can define the dual function with respect to fif_{i}

where the log partition function is constant and falls out in the optimization.

II. Optimizing Constraints with Slack Variable

The slack relaxed loss function is given by

For any β0\beta\leq 0, a value of ξ\xi\to\infty will minimize the objective and hence invalidate the corresponding constraints. Thus, for the remainder of the section we assume that β>0\beta>0. The Lagrangian dual to this loss is defined as

We know that the dual variable γ0\gamma\geq 0 is strictly non-negative, as well as

This leads to the following constraint on λ\lambda:

Hence the slack weight forms an upper bound on λβ\lambda\leq\beta. Substituting (19) into (18) reduces the dual objective to the non-slack objective in (13), and the rest of the derivation is equivalent.

III. Ablation Study for Parameter Selection

In this section, we present results to analyze the sensitivity of our approach with respect to the constraint parameters i.e. the upper and lower bounds. We performed line search along each of the bounds while keeping others fixed. The method is quite robust with a standard deviation of 0.73%0.73\% in accuracy, averaged over all parameters, as shown in Table 4. These experiments are performed in the setting where image-level tag and 1-bit size supervision is available during training, as discussed in the paper. We attribute this robustness to the slack variables that are learned per constraint per image.

IV. Ablation Study in Semi-Supervised Setting

In this section, we experiment by incorporating fully supervised images in addition to our weak objective. The accuracy curve is depicted in Figure 5.

References