Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Slim205
/
Lean-conjecturer
like
0
Safetensors
English
llama
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
main
Lean-conjecturer
/
config.json
Commit History
Upload LlamaForCausalLM
2f2ff9f
verified
Slim205
commited on
Sep 1, 2025
Slim205
commited on
