
\documentclass[accepted]{uai2023}











\usepackage[utf8]{inputenc} %
\usepackage[T1]{fontenc}    %
\usepackage{hyperref}       %
\usepackage{url}            %
\usepackage{booktabs}       %
\usepackage{amsfonts}       %
\usepackage{nicefrac}       %
\usepackage{microtype}      %
\usepackage{xcolor}         %

\usepackage{natbib} %
    \bibliographystyle{plainnat}
    \renewcommand{\bibsection}{\subsubsection*{References}}



\usepackage{mathtools} %
\usepackage{amsmath}
\usepackage{booktabs} %
\usepackage{tikz} %
\usepackage{wrapfig}
\usepackage{booktabs}   %
\usepackage{caption}
\usepackage{wrapfig}
\usepackage{booktabs}   %
\usepackage{subfigure} %
\usepackage{listings}
\usepackage{algorithmic}
\usepackage{algorithm}

\usepackage{relsize}
\usepackage{mathtools}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{enumitem}
\usepackage{mfirstuc} 
\usepackage{multirow}
\usepackage{balance}
\usepackage{amsmath}
\usepackage{stmaryrd}
\usepackage{longtable}
\usepackage{url}
\usepackage{hyperref}
\usepackage{xcolor}
\usepackage{graphicx}
\usepackage{mfirstuc}
\usepackage{appendix}
\usepackage{cleveref}
\usepackage{mathpartir}
\usepackage{pifont}
\usepackage{letltxmacro}
\usepackage{colortbl}
\usepackage{comment}
\usepackage{amsthm}
\usepackage{xspace}
\usepackage{bm}
\usepackage{hhline}
\usepackage[normalem]{ulem}


\newcounter{mycounter}
\newcommand{\insight}[1]{\stepcounter{mycounter}{\noindent \emph{\uline{\textbf{Insight \themycounter.} #1}}}}

\newtheorem{theorem}{Theorem}%
\newtheorem{definition}{Definition}%
\newtheorem*{remark}{Remark}
\newtheorem{lemma}[theorem]{Lemma}
\newenvironment{proofsketch}{%
  \renewcommand{\proofname}{Proof Sketch}\proof}{\endproof}

\newboolean{showcomments}
\setboolean{showcomments}{false} %
\newcommand{\NAME}{\robustify}
\input{macros}
\input{commenting}




\begin{document}

\title{\NAME{}: Understanding the Practical Impact of Robustness for \mbox{Probabilistic Programs}}


\author[1]{\href{mailto:<zixinh2@illinois.edu>}{Zixin Huang}{}}
\author[1]{\href{mailto:<saikatd2@illinois.edu>}{Saikat Dutta}{}}
\author[1]{\href{mailto:<misailo@illinois.edu>}{Sasa Misailovic}{}}

\affil[1]{%
    Department of Computer Science\\
    University of Illinois Urbana-Champaign\\
    Urbana, Illinois, USA
}






\maketitle

\input{abstract}


\input{introduction}


\input{overview}


\input{method}

\input{evaluation}
\input{related}
\input{conclusion}


\balance
\bibliography{references,prob}
\balance
\clearpage



\end{document}
