Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

cranky-coder08
/
Phi2-Fine-Tuning

TensorBoard
Safetensors
Model card Files Files and versions
xet
Metrics Training metrics Community
Phi2-Fine-Tuning / phivenv /Lib /site-packages /sympy /logic /algorithms
132 kB
  • 1 contributor
History: 2 commits
cranky-coder08's picture
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