Generative language modeling for automated theorem proving / Artificial Intelligence, Research / By hi@aiweekly.co.in