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
/
tokenizer.json
Commit History
Upload folder using huggingface_hub
80c278b
verified
markm39
commited on
16 days ago