add v1 of the proof classification model

initial commit