Conteúdo apresentado após ser convidado como palestrante no Qwen Meetup Korea.
Como fazer o function calling funcionar de forma estável em tipos union recursivos. O qwen3-coder-next teve taxa de sucesso de 6,75% na primeira tentativa, e toda a família Qwen 3.5 ficou em 0% por causa de um bug de double-stringify, mas com engenharia de harness foi possível chegar a 100%.
- AutoBe: quando o LLM preenche estruturas AST via function calling, o compilador gera o código. Verificação do compilador em 4 etapas + loop de autorreparo.
- Typia: a partir de um único tipo TypeScript, gera automaticamente em tempo de compilação JSON Schema, parser, validador e gerador de feedback. Também lida com recuperação de JSON quebrado, coerção de tipos e feedback sobre violações de schema.
- As restrições do schema vêm da ausência, não de proibições → neutro em relação ao modelo, convergência determinística
- Quanto menor o modelo, melhor ele expõe vulnerabilidades do sistema → útil para QA
Esse padrão não se limita a software. Em qualquer área de engenharia que tenha um validador determinístico, a mesma abordagem pode ser aplicada. Mesmo que a saída da IA esteja errada, se o validador conseguir apontar com precisão onde e por que errou, o loop converge. Isso torna viável usar modelos probabilísticos, de forma prática, em áreas que exigem precisão determinística.
1 comentários
Essa também era uma ideia em que eu estava pensando; você implementou isso de forma incrível! Parabéns também pelos bons resultados.