Stanislas Polu

Co-founder and Software Engineer at Dust

Polu co-created GPT-f, a system that used a language model to discover mathematical proofs checked by software. Some of its shorter proofs were accepted into Metamath's public library—the first contribution there from a deep-learning system.