Síntese de programas indutiva
Síntese de Programas Guiada por Redes Neurais
Técnica que combina redes neurais e síntese de programas para guiar eficientemente a busca no espaço de soluções. Os modelos neurais aprendem padrões a partir de dados para prever direções de busca promissoras.
← Voltar