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

  • Log In
  • Sign Up

tt-dart
/
NL2HLTL

Safetensors
Model card Files Files and versions Community
NL2HLTL
Ctrl+K
Ctrl+K
  • 1 contributor
History: 8 commits
tt-dart's picture
tt-dart
update readme
d834d9d 8 months ago
  • NL2HLTLTranslator
    update readme 8 months ago
  • NL2TL-dataset
    update readme 8 months ago
  • mistral7b_quat8
    add model 8 months ago
  • .gitattributes
    1.69 kB
    add dataset 8 months ago
  • .gitignore
    16 Bytes
    update readme 8 months ago
  • README.md
    2.5 kB
    update readme 8 months ago
  • setup.py
    402 Bytes
    update readme 8 months ago