Instructions to use FluffyAIcode/Kakeya-OProver-Stage2-SFT1000 with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- PEFT
How to use FluffyAIcode/Kakeya-OProver-Stage2-SFT1000 with PEFT:
from peft import PeftModel from transformers import AutoModelForCausalLM base_model = AutoModelForCausalLM.from_pretrained("m-a-p/OProver-8B") model = PeftModel.from_pretrained(base_model, "FluffyAIcode/Kakeya-OProver-Stage2-SFT1000") - Notebooks
- Google Colab
- Kaggle
File size: 386 Bytes
dc75d2b | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | {
"status": "MATCHED BASELINE",
"all22": {
"exact": 9,
"n": 22,
"parser": 22,
"unsafe": 0
},
"holdout18": {
"exact": 5,
"n": 18
},
"canary4": {
"exact": 4,
"n": 4
},
"audit_sha256": "5e0f757353ffe17315c9b78c60bb46de9ae34e736f9460e69ec26ca1d6213f9c",
"protocol_root": "6047aa9e4f3ff9594f7913e943cf40dc050b49328b7a42a80a72beefe5c641d7"
}
|