Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Sagicc
/
nanoGentzen
Like
0
Feature Extraction
Safetensors
PyTorch
Sagicc/nanoGentzen
English
custom
nanogentzen
logic
gentzen
sequent-calculus
intuitionistic-logic
automated-theorem-proving
formal-verification
policy-value-network
custom_code
License:
mit
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
nanoGentzen
19.6 MB
Ctrl+K
Ctrl+K
1 contributor
History:
10 commits
Sagicc
Update README.md
96455f6
verified
2 months ago
.gitattributes
Safe
1.58 kB
Upload 14 files
2 months ago
README.md
Safe
16.5 kB
Update README.md
2 months ago
__init__.py
Safe
598 Bytes
Upload 14 files
2 months ago
config.json
Safe
463 Bytes
Update config.json
2 months ago
configuration_nanogentzen.py
Safe
744 Bytes
Upload 14 files
2 months ago
example_usage.py
Safe
963 Bytes
Upload 14 files
2 months ago
kernel.py
Safe
5.37 kB
Upload 14 files
2 months ago
model.safetensors
Safe
19.5 MB
xet
Upload 14 files
2 months ago
modeling_nanogentzen.py
Safe
3.64 kB
Upload 14 files
2 months ago
search.py
Safe
6.39 kB
Upload 14 files
2 months ago
special_tokens_map.json
Safe
122 Bytes
Upload 14 files
2 months ago
tokenization_nanogentzen.py
Safe
2.8 kB
Upload 14 files
2 months ago
tokenizer_config.json
Safe
341 Bytes
Upload 14 files
2 months ago
training_curves.png
Safe
106 kB
xet
Upload 14 files
2 months ago
vocab.json
Safe
1.08 kB
Upload 14 files
2 months ago
