\documentclass[11pt]{article}
\usepackage[vmargin=1.5in]{geometry}
\usepackage[numbers]{natbib}
\usepackage[utf8]{inputenc}
\usepackage{amsmath,amsfonts}
\usepackage{algorithm, algpseudocode}
\usepackage{bbm,color,verbatim}
\usepackage[pagebackref=true,breaklinks=true,colorlinks=true]{hyperref}
\usepackage{amsthm}
\input{definitions}
\title{Budget Feasible Mechanisms for Experimental Design}
\author{
    Thibaut Horel\\École normale supérieure\\\texttt{thibaut.horel@ens.fr}
    \and
    Stratis Ioannidis\\Technicolor\\\texttt{stratis.ioannidis@technicolor.com}
    \and
    S. Muthukrishnan\\Rutgers University\\\texttt{muthu@cs.rutgers.edu}
}

\begin{document}
\maketitle
\begin{abstract}
\input{abstract}
\end{abstract}
\newpage

\section{Introduction}
\input{intro}

\section{Preliminaries}\label{sec:peel}
\input{problem}
\section{Approximation results}
\input{approximation}
\section{Mechanism for \SEDP{}}
\input{main}
\section{Proofs}\label{sec:proofs}
\input{proofs}
\section{Extensions}\label{sec:ext}
\input{general}
%\section{Conclusion}
%\input{conclusion}
\bibliographystyle{abbrvnat}
\bibliography{notes}
\newpage
\section*{Appendix}
\input{appendix}
\end{document}