Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
cranky-coder08
/
Phi2-Fine-Tuning
like
1
TensorBoard
Safetensors
Model card
Files
Files and versions
xet
Metrics
Training metrics
Community
ad5f26a
Phi2-Fine-Tuning
/
phivenv
/
Lib
/
site-packages
/
sympy
/
logic
/
algorithms
132 kB
1 contributor
History:
2 commits
cranky-coder08
Add files using upload-large-folder tool
ac2f8e9
verified
3 months ago
__pycache__
Add files using upload-large-folder tool
3 months ago
__init__.py
0 Bytes
Add files using upload-large-folder tool
3 months ago
dpll.py
9.19 kB
Add files using upload-large-folder tool
3 months ago
dpll2.py
21.5 kB
Add files using upload-large-folder tool
3 months ago
lra_theory.py
31.8 kB
Add files using upload-large-folder tool
3 months ago
minisat22_wrapper.py
1.32 kB
Add files using upload-large-folder tool
3 months ago
pycosat_wrapper.py
1.21 kB
Add files using upload-large-folder tool
3 months ago
z3_wrapper.py
3.75 kB
Add files using upload-large-folder tool
3 months ago