The Neuro-Algorithmic Contract