Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
smjain
/
z3-api-reasoning-ppo
like
0
PEFT
PyTorch
Safetensors
arxiv:
1910.09700
Model card
Files
Files and versions
Community
Use this model
a9c9a7f
z3-api-reasoning-ppo
Ctrl+K
Ctrl+K
1 contributor
History:
1 commit
smjain
initial commit
a9c9a7f
verified
10 months ago
.gitattributes
Safe
1.52 kB
initial commit
10 months ago