File size: 269 Bytes
dc75d2b | 1 2 3 4 | Kakeya OProver LoRA derivative, 2026 FluffyAIcode.
Base model: m-a-p/OProver-8B, Apache-2.0, revision cd9ffd383b584d95bf00e04b88b35b05928b211c.
Training material derives from leanprover-community/mathlib4, Apache-2.0, revision 360da6fa66c1273b76b6b2d8c5666fd5ac2e3b56.
|