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
cae4095
formal_logic
Commit History
Training in progress, epoch 10
0750744
verified
surya-narayanan
commited on
May 10, 2024
Training in progress, epoch 9
4ab5575
verified
surya-narayanan
commited on
May 10, 2024
Training in progress, epoch 8
652d511
verified
surya-narayanan
commited on
May 10, 2024
Training in progress, epoch 7
91c88a6
verified
surya-narayanan
commited on
May 10, 2024
Training in progress, epoch 6
069f262
verified
surya-narayanan
commited on
May 10, 2024
Training in progress, epoch 5
497b5c9
verified
surya-narayanan
commited on
May 10, 2024
Training in progress, epoch 4
0da0dcb
verified
surya-narayanan
commited on
May 10, 2024
Training in progress, epoch 3
063faac
verified
surya-narayanan
commited on
May 10, 2024
Training in progress, epoch 2
aede89a
verified
surya-narayanan
commited on
May 10, 2024
Training in progress, epoch 1
4b067cf
verified
surya-narayanan
commited on
May 10, 2024
Upload model
fad8ea4
verified
surya-narayanan
commited on
Mar 11, 2024
Training in progress, step 20
9dce218
verified
surya-narayanan
commited on
Mar 11, 2024
Training in progress, step 14
a9d5f40
verified
surya-narayanan
commited on
Mar 11, 2024
Training in progress, step 8
a26f8dd
verified
surya-narayanan
commited on
Mar 11, 2024
Training in progress, step 1
d185d3a
verified
surya-narayanan
commited on
Mar 11, 2024
Upload model
27bece5
verified
surya-narayanan
commited on
Mar 11, 2024
Training in progress, step 1
d14ab65
verified
surya-narayanan
commited on
Mar 11, 2024
initial commit
c4a61fc
verified
surya-narayanan
commited on
Mar 11, 2024
Previous
1
2
3
Next