alt Hacker NewsIs 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.
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.
so far unsloth only has 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.