“A 32 billion parameter dense transformer model designed to model program execution and reasoning.”