% Shared macros and theorem environments for main.tex (AAAI) and preview.tex. \usepackage{amsmath,amssymb,amsthm} \usepackage{graphicx} \graphicspath{{../outputs/closed_form_soft_ramp/}} \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{proposition}{Proposition} \newtheorem{corollary}{Corollary} \theoremstyle{definition} \newtheorem{assumption}{Assumption} \newcommand{\takeaway}[1]{\par\smallskip\noindent\textbf{Takeaway.} \emph{#1}\par\smallskip} \newcommand{\R}{\mathbb{R}} \newcommand{\E}{\mathbb{E}} \renewcommand{\Pr}{\mathbb{P}} \newcommand{\vecop}{\mathrm{vec}} \newcommand{\Beta}{\mathrm{Beta}} \newcommand{\KBP}{K_{\mathrm{BP}}} \newcommand{\KFA}{K_{\mathrm{FA}}} \newcommand{\SFA}{S_{\mathrm{FA}}}