Instructions to use FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- PEFT
How to use FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT 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-Stage4-Repair-SFT") - Notebooks
- Google Colab
- Kaggle
File size: 1,103 Bytes
8e74b89 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 | {
"status": "QUALITY GO / PROOF-ADVISOR-ONLY",
"all22": {
"exact": 10,
"n": 22,
"parser": 22,
"unsafe": 0,
"ci95": [
0.2438618659230165,
0.6778952454468283
]
},
"holdout18": {
"exact": 6,
"n": 18,
"ci95": [
0.13342740250612353,
0.5900747618279255
]
},
"canary4": {
"exact": 4,
"n": 4,
"ci95": [
0.3976353643835253,
1.0
]
},
"audit_sha256": "f7bc7f2ed5bd09e36dfb67df122334d289269513abca20125b931bdc3202f740",
"protocol_root": "6357188c7ecc3541d4b220aa19a5c826cbd81e448ed66cdd5a49b09d17d36c0e",
"paired_stage2": {
"all22_mcnemar_exact_two_sided_p": 1.0,
"interpretation": "Difference not statistically significant."
},
"paired_clean_stage3": {
"all22_mcnemar_exact_two_sided_p": 0.015625,
"holdout18_p": 0.03125,
"interpretation": "Stage4 improvement was significant."
},
"production_qualification": {
"converted": "504/504",
"canary": "12/12"
},
"jensen": {
"status": "SEARCH_EXHAUSTED",
"pass_at_6_lean_valid": 0,
"rh_proved": false
}
}
|