From Scientific Texts to Verifiable Code: Automating the Process with Transformers