Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
mbuali
/
Llama-3.1-8B-DALv0.1
like
0
Text Generation
PyTorch
8 languages
llama
facebook
meta
llama-3
conversational
arxiv:
2204.05149
License:
llama3.1
Model card
Files
Files and versions
Community
main
Llama-3.1-8B-DALv0.1
/
venv
/
lib
/
python3.12
/
site-packages
/
sympy
/
logic
/
algorithms
Ctrl+K
Ctrl+K
1 contributor
History:
1 commit
mbuali
Upload folder using huggingface_hub
d1ceb73
verified
11 months ago
__pycache__
Upload folder using huggingface_hub
11 months ago
__init__.py
Safe
0 Bytes
Upload folder using huggingface_hub
11 months ago
dpll.py
Safe
9.19 kB
Upload folder using huggingface_hub
11 months ago
dpll2.py
Safe
21.3 kB
Upload folder using huggingface_hub
11 months ago
lra_theory.py
Safe
31.8 kB
Upload folder using huggingface_hub
11 months ago
minisat22_wrapper.py
Safe
1.32 kB
Upload folder using huggingface_hub
11 months ago
pycosat_wrapper.py
Safe
1.21 kB
Upload folder using huggingface_hub
11 months ago
z3_wrapper.py
Safe
3.75 kB
Upload folder using huggingface_hub
11 months ago