changed subtitle

Author: zzigak

index.html

@@ -118,7 +118,7 @@ <h3>How We Do It</h3>
 		</ul>
 
 
-		<h3>The Math Behind It</h3>
+		<h3>Formalization</h3>
 		<p>Formally, given a set of original programs $\{\rho_n\}_{n=1}^N$, we want to find a new library $\mathcal{L}$ and refactored programs $\{\rho'_n\}_{n=1}^N$. We optimize the following objective:</p>
 
 		<div class="math-display">