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
| { | |
| "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" | |
| } | |