Hugging Face's logo

luogu-llm-research
/
Luogu-Llama-3-8B-Prover

Text Generation
Chinese
English
lean
math
text2text-generation
Model card Files
xet
Community
Luogu-Llama-3-8B-Prover
  • 1 contributor
 History: 3 commits
imbue2025's picture
imbue2025
Update README.md
efe0077 verified