Code for the Boxer research paper - View it on GitHub