Glossário IA
O dicionário completo da Inteligência Artificial
Síntese de Programas baseada em Restrições
Abordagem que utiliza restrições lógicas e resolvedores SAT/SMT para gerar automaticamente programas que satisfazem especificações.
Busca de Arquitetura Neural por reforço
Uso de agentes de aprendizado por reforço para explorar o espaço de arquiteturas de redes neurais e encontrar configurações ótimas.
Pesquisa Evolutiva de Arquitetura Neural
Aplicação de algoritmos genéticos e evolucionários para evoluir e otimizar arquiteturas de redes neurais.
Síntese de programas indutiva
Geração automática de programas a partir de exemplos de entrada-saída sem especificações explícitas.
Pesquisa de Arquitetura Neural baseada em gradientes
Otimização diferenciável de arquiteturas de redes relaxando o espaço de busca contínuo para permitir a descida de gradiente.
Síntese de programas dedutiva
Geração de programas por raciocínio lógico formal a partir de especificações matemáticas e pré-condições/pós-condições.
Pesquisa de Arquitetura Neural de um único disparo
Abordagens eficientes que treinam uma única super-rede, permitindo avaliar rapidamente múltiplas arquiteturas sem retreinamento.
Síntese de programas probabilística
Geração de programas modelando a incerteza e utilizando métodos probabilísticos para a exploração do espaço de busca.
Busca de Arquitetura para redes quânticas
Otimização especializada de arquiteturas de redes neurais quânticas adaptadas às restrições da computação quântica.
Síntese de programas por transformação
Geração de programas pela aplicação sistemática de regras de transformação em programas existentes ou esqueletos de código.
Pesquisa de Arquitetura Neural multi-objetivo
Otimização simultânea de várias métricas como precisão, latência, consumo de energia e tamanho do modelo.
Síntese de programas por aprendizagem automática
Uso de modelos de aprendizagem profunda como os transformers para gerar código diretamente a partir de descrições em linguagem natural.