So I am trying to submit to a top-tier conference in AI. It is focused towards theoretical work. I have a couple of theorems which are the main results and I prove some other completely unrelated algebraic results as lemmas to prove these theorems. The proofs and lemmas are quite dense and quite long and despite my best efforts to clean the notation, they still look ugly. Furthermore, Its a two column format making the paper look really shabby.
I easily meet the page limit right now, but I am not sure the paper looks inviting to a reviewer. An option I am considering is to move the proofs to appendix and write good proof intuitions or sketches. But I am pretty sure I will be half to a full page under the conference page limit.
What would you suggest ? Considering the reviewers are not required to read the appendix ? Also considering the fact that papers under page limit are widely thought to be contributing less.