Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
markm39
/
openproof-tactic-2b
like
0
Text Generation
Transformers
Safetensors
PEFT
markm39/openproof-tactic-pairs
lora
lean4
theorem-proving
tactic-prediction
formal-verification
mathlib
conversational
License:
mit
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
openproof-tactic-2b
/
trainer_state.json
markm39
Upload folder using huggingface_hub
80c278b
verified
17 days ago
raw
Copy download link
history
contribute
delete
2.35 MB
File too large to display, you can
check the raw version
instead.