Article
Building ProofKit: fine-tuning a small model without losing the product
build-small-hackathon
• VI PRO
visproj
·
AI & ML interests
None yet
Recent Activity
updated a model about 1 month ago
build-small-hackathon/proofkit-qwen0.5b-7k published a model about 1 month ago
build-small-hackathon/proofkit-qwen0.5b-7k updated a model about 1 month ago
build-small-hackathon/proofkit-distilled-qwen0.5bOrganizations
published an article about 1 month ago