This project implements a Transformer-based neural network for Java between-token spacing prediction. It's loosely based on this paper and presentation on formatting Coq code. This step is optional as ...