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