This is part IV of our series of articles on log abelian varieties. In this part, we study the algebraic theory of proper models of log abelian varieties.