proofgpt

hbghlyj

ProofGPT: Carnegie Mellon's 6.8B parameter GPT specifically for mathematical proofs trained on ArXiv.math (10GB), open-source math textbooks (50MB), formal mathematics libraries (500MB), Math Overflow and Math Stack Exchange (2.5GB), ProofWiki and Wikipedia math articles (50MB).

ProofGPT By Albert Cai Does your proofs ... hopefully.
Math Proof GPT By Théo Bourgeois Solve complex mathematical proofs with this GPT trained on thousands of papers

ProofGPT - Expert Proof Writing Assistant

hbghlyj

https://zhangir-azerbayev.github.io/software.html

• Llemma models
  Open language models for mathematics.
  7B model. 34B model. Training data. Code.
• proofGPT models
  Language models fine-tuned on the proof-pile.
  1.3B model. 6.7B model.