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
  • cli.md
    929 Bytes
    Upload folder using huggingface_hub about 15 hours ago
  • datasets.md
    1.04 kB
    Upload folder using huggingface_hub about 15 hours ago
  • installation.md
    314 Bytes
    Upload folder using huggingface_hub about 15 hours ago
  • metrics.md
    1.64 kB
    Upload folder using huggingface_hub about 15 hours ago
  • model-config.md
    5.03 kB
    Upload folder using huggingface_hub about 13 hours ago
  • publication.md
    411 Bytes
    Upload folder using huggingface_hub about 15 hours ago
  • theme.md
    296 Bytes
    Upload folder using huggingface_hub about 15 hours ago