Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

GuilhermeOliveira
/
entity

English
code
neuro-symbolic
formal-verification
z3
smt
llm-agent
code-editing
scaffold
cli
codecarbon
Model card Files Files and versions
xet
Community

You need to agree to share your contact information to access this model

This repository is publicly accessible, but you have to accept the conditions to access its files and content.

Log in or Sign Up to review the conditions and access this model content.

Gated model
You can list files but not access them

Preview of files found in this repository
  • __init__.py
    0 Bytes
    Upload folder using huggingface_hub 2 days ago
  • test_cli_commands.py
    865 Bytes
    Upload folder using huggingface_hub 2 days ago
  • test_metrics.py
    1.33 kB
    Upload folder using huggingface_hub 2 days ago
  • test_model_config.py
    902 Bytes
    Upload folder using huggingface_hub 2 days ago
  • test_packaging.py
    559 Bytes
    Upload folder using huggingface_hub 2 days ago
  • test_providers.py
    993 Bytes
    Upload folder using huggingface_hub 2 days ago
  • test_real_backends.py
    4.91 kB
    Upload folder using huggingface_hub 2 days ago
  • test_runner.py
    720 Bytes
    Upload folder using huggingface_hub 2 days ago
  • test_scaffold.py
    970 Bytes
    Upload folder using huggingface_hub 2 days ago
  • test_slash_full.py
    2.96 kB
    Upload folder using huggingface_hub 2 days ago
  • test_tui_banner.py
    998 Bytes
    Upload folder using huggingface_hub 2 days ago