Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
luogu-llm-research
/
Luogu-Llama-3-8B-Prover
like
2
Follow
Luogu LLM Research
7
Text Generation
Chinese
English
lean
math
text2text-generation
License:
llama3
Model card
Files
Files and versions
xet
Community
New discussion
New pull request
Resources
PR & discussions documentation
Code of Conduct
Hub documentation
All
Discussions
Pull requests
View closed (0)
Sort: Recently created
Welcome to the community
The community tab is the place to discuss and collaborate with the HF community!
