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