Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
surya-narayanan
/
formal_logic
like
0
Transformers
Safetensors
Inference Endpoints
arxiv:
1910.09700
Model card
Files
Files and versions
Community
Train
Deploy
Use this model
27bece5
formal_logic
1 contributor
History:
3 commits
surya-narayanan
Upload model
27bece5
verified
10 months ago
.gitattributes
1.52 kB
initial commit
10 months ago
README.md
5.17 kB
Upload model
10 months ago
adapter_config.json
782 Bytes
Training in progress, step 1
10 months ago
adapter_model.safetensors
1.74 GB
LFS
Training in progress, step 1
10 months ago
training_args.bin
4.92 kB
LFS
Training in progress, step 1
10 months ago
