FormulaSPIN: нейросеть пишет формулы для таблиц по описанию и обгоняет проприетарные модели

Em julho de 2026, pesquisadores publicaram no arXiv o framework FormulaSPIN — um sistema de treinamento baseado em self-play que gera fórmulas para planilhas eletrônicas a partir de descrições em linguagem natural e alcança 74,9% de correspondências exatas e 87,1% de precisão de execução no benchmark NL2FORMULA, superando tanto a abordagem supervisionada clássica quanto os principais modelos proprietários.

Como o modelo aprende sozinho

O FormulaSPIN é treinado sem uma única linha nova de dados rotulados — o modelo joga contra si mesmo. Segundo o resumo no arXiv, o treinamento é estruturado como um jogo de dois jogadores: o jogador principal aprende a preferir as fórmulas de referência (ground-truth) em vez das geradas por sua versão anterior. O feedback da execução das fórmulas classifica as respostas por "granularidade", construindo um currículo de aprendizagem adaptativo: primeiro o modelo domina a correção semântica, depois o refinamento estilístico da notação.

A principal vantagem da tarefa é a executabilidade binária: uma fórmula ou roda e produz um resultado, ou não. Isso fornece um controle implícito que separa erros de significado de variantes simplesmente escritas de outra forma, mas ainda válidas.

Por que o SPIN padrão falha aqui

O SPIN padrão não funciona na geração de fórmulas porque penaliza igualmente qualquer resposta que não coincida literalmente com a referência. Segundo os autores, a mesma fórmula, equivalente na execução, é punida como "incorreta" em um exemplo e serve como referência em outro — isso faz com que os gradientes de treinamento se contradigam, e o modelo não converge.

O FormulaSPIN elimina essa contradição por meio da verificação por execução. Se duas expressões com aparência diferente produzem o mesmo resultado, o sistema as considera válidas, e não um erro. Além disso, os autores introduziram o ExecVote — um mecanismo de votação em nível semântico que trata nativamente os casos em que uma mesma tarefa admite várias formulações corretas.

O que as medições mostraram

O FormulaSPIN estabeleceu um novo melhor resultado em vários benchmarks. No NL2FORMULA — 74,9% de correspondências exatas e 87,1% de acertos por execução, comparável a modelos treinados com anotações adicionais de preferências, e superior tanto ao SFT tradicional quanto aos modelos proprietários de ponta.

• 74,9% de exact match no benchmark NL2FORMULA
• 87,1% de precisão de execução (execution accuracy)
• Treinamento sem um único exemplo rotulado adicional
• ExecVote — votação em nível semântico para múltiplas fórmulas válidas
• Supera tanto o SFT clássico quanto os modelos proprietários de fronteira

"Esses resultados destacam o potencial do self-play para tarefas com escassez de dados e abrem caminho para estendê-lo além dos domínios executáveis", afirma o resumo do artigo do

FormulaSPIN no arXiv.

O que isso significa

Escrever fórmulas continua sendo uma barreira para centenas de milhões de usuários de planilhas, e há poucos dados rotulados para treinar esse tipo de modelo. O FormulaSPIN mostra que um modelo pode se aprimorar sozinho, usando a execução como uma fonte gratuita de verificação — sem rotulagem manual cara. A abordagem se aplica a qualquer tarefa em que o resultado possa ser executado e verificado: código, consultas SQL, cálculos.

Perguntas frequentes

O que é o FormulaSPIN?

O FormulaSPIN é um framework de treinamento self-play para gerar fórmulas de planilhas eletrônicas a partir de texto em linguagem natural. O modelo se aprimora iterativamente, sem dados rotulados adicionais, usando a verificação da executabilidade das fórmulas como fonte de feedback.

Em que o FormulaSPIN se diferencia do ajuste fino comum?

O supervised fine-tuning (SFT) clássico rapidamente esbarra em um teto imposto pela rotulagem limitada. O FormulaSPIN é treinado segundo o princípio de um jogo de dois jogadores e separa erros de significado de variantes de notação válidas por meio da execução, por isso supera o SFT e não exige novos dados.

Quais resultados o FormulaSPIN alcançou?

No benchmark NL2FORMULA, o framework atingiu 74,9% de correspondências exatas e 87,1% de precisão de execução — um nível equivalente ao de modelos treinados com anotações adicionais de preferências e superior ao dos principais modelos proprietários.