Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
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
main
formal_logic
/
training_args.bin
Commit History
Training in progress, step 10
7f787aa
verified
surya-narayanan
commited on
Jun 26
Training in progress, epoch 1
8233abb
verified
surya-narayanan
commited on
Jun 17
Training in progress, epoch 1
65f6441
verified
surya-narayanan
commited on
Jun 12
Training in progress, epoch 1
a007310
verified
surya-narayanan
commited on
Jun 7
Training in progress, epoch 1
e1c6ac6
verified
surya-narayanan
commited on
Jun 4
Training in progress, epoch 1
59346c6
verified
surya-narayanan
commited on
May 28
Training in progress, epoch 1
0c0e300
verified
surya-narayanan
commited on
May 27
Training in progress, epoch 1
4f5d78b
verified
surya-narayanan
commited on
May 27
Training in progress, epoch 1
a0d281d
verified
surya-narayanan
commited on
May 27
Training in progress, epoch 1
b24e8b9
verified
surya-narayanan
commited on
May 25
Training in progress, epoch 1
4b067cf
verified
surya-narayanan
commited on
May 10
Training in progress, step 1
d185d3a
verified
surya-narayanan
commited on
Mar 11
Training in progress, step 1
d14ab65
verified
surya-narayanan
commited on
Mar 11