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
Ctrl+K
Ctrl+K
1 contributor
History:
9 commits
Sagicc
Update README.md
8c88b49
verified
about 4 hours ago
.gitattributes
1.58 kB
Upload 14 files
about 22 hours ago
README.md
16.4 kB
Update README.md
about 4 hours ago
__init__.py
598 Bytes
Upload 14 files
about 22 hours ago
config.json
463 Bytes
Update config.json
about 22 hours ago
configuration_nanogentzen.py
744 Bytes
Upload 14 files
about 22 hours ago
example_usage.py
963 Bytes
Upload 14 files
about 22 hours ago
kernel.py
5.37 kB
Upload 14 files
about 22 hours ago
model.safetensors
19.5 MB
xet
Upload 14 files
about 22 hours ago
modeling_nanogentzen.py
3.64 kB
Upload 14 files
about 22 hours ago
search.py
6.39 kB
Upload 14 files
about 22 hours ago
special_tokens_map.json
122 Bytes
Upload 14 files
about 22 hours ago
tokenization_nanogentzen.py
2.8 kB
Upload 14 files
about 22 hours ago
tokenizer_config.json
341 Bytes
Upload 14 files
about 22 hours ago
training_curves.png
106 kB
xet
Upload 14 files
about 22 hours ago
vocab.json
1.08 kB
Upload 14 files
about 22 hours ago
