3 ms·
Is it any good at autoformalisation? I think it's likely to take focused fine-tuning to get something small enough that is still good at that.
by mkl 23d ago
Is it any good at autoformalisation? I think it's likely to take focused fine-tuning to get something small enough that is still good at that.
- cyanydeez 23d agoso far unsloth only has https://unsloth.ai/docs/models/qwen3.8/train https://unsloth.ai/docs/models/qwen3.8/train which is the 27B model. It also getting pretty close to what you'd need. I wouldn't be surprised if someone is trying it.