view article Article Building ProofKit: fine-tuning a small model without losing the product build-small-hackathon • 8 days ago