Shehab Anwer liberou o Agent-ProSAT, um pipeline que gera conjuntos de dados de Cadeia de Pensamento (CoT) fazendo com que um agente codifique e melhore iterativamente solucionadores programáticos verificáveis em vez de depender do texto gerado pelo modelo.

  • O sistema usa loops de autocorreção para validar a solidez lógica contra a verdade fundamental e amostras retidas.
  • Foi avaliado no Desafio de Raciocínio Nemotron da NVIDIA usando quebra-cabeças lógicos de "Alice no País das Maravilhas" para testar restrições espaciais e lógicas.
  • A abordagem visa reduzir riscos de alucinação e melhorar a utilização de tokens em pipelines SFT/RL por meio de revisão programática.

O autor compartilha a base de código, um notebook do Kaggle para ajuste fino e o conjunto de dados ProSAT CoT resultante no Hugging Face.