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