Foundation models for mathematics
As part of a multi-lab collaboration we developed Llemma and ProofPile II, a foundation model for mathematics and 55 billion token dataset with 1.5 billion tokens of formal code.
As part of a multi-lab collaboration we developed Llemma and ProofPile II, a foundation model for mathematics and 55 billion token dataset with 1.5 billion tokens of formal code.