Publicado em 23 de agosto de 2024, o relato descreve o refinamento iterativo de funções de sucessor e teste de objetivo, guiado por testes unitários e verificações com busca em largura (BFS).
Publicado em 23 de agosto de 2024, o relato sobre o AutoToS descreve um processo iterativo para refinar funções geradas de sucessor e de teste de objetivo. O feedback de testes unitários orienta os ajustes, e busca em largura (BFS) é usada para verificá-las em problemas de exemplo.
O resultado apresentado é uma demonstração de como testes e verificações baseadas em busca podem orientar o refinamento automatizado de componentes gerados; o texto não detalha métricas ou resultados quantitativos. Para conferir o alcance da afirmação, consulte o registro original pelo título e pela data e verifique quais componentes e problemas de exemplo ele descreve. Se usar IA para estudar ou aplicar a ideia, não envie dados organizacionais confidenciais sem autorização.