LLEMMA is a domain-specific language model for mathematics, outperforming existing models on mathematical benchmarks and enabling tool use and formal theorem proving without further finetuning.
LLEMMA is a domain-specific language model for mathematics, outperforming known models on mathematical benchmarks and enabling tool use and formal theorem proving without further finetuning.