AI 词汇表
人工智能完整词典
基于约束的程序综合
使用逻辑约束和SAT/SMT求解器自动生成满足规范的程序的方法。
通过强化学习的神经架构搜索
使用强化学习智能体来探索神经网络架构空间并找到最优配置。
进化神经架构搜索
应用遗传算法和进化算法来进化和优化神经网络架构
归纳程序综合
根据输入输出示例自动生成程序，无需显式规范。
Neural Architecture Search basée sur les gradients
Optimisation différentiable des architectures de réseaux en relaxant l'espace de recherche continu pour permettre la descente de gradient.
Synthèse de programmes déductive
Génération de programmes par raisonnement logique formel à partir de spécifications mathématiques et préconditions/postconditions.
Neural Architecture Search à un coup
Approches efficaces entraînant un super-réseau unique permettant d'évaluer rapidement de multiples architectures sans réentraînement.
Synthèse de programmes probabiliste
Génération de programmes en modélisant l'incertitude et en utilisant des méthodes probabilistes pour l'exploration de l'espace de recherche.
Architecture Search pour réseaux quantiques
Optimisation spécialisée d'architectures de réseaux de neurones quantiques adaptées aux contraintes de l'informatique quantique.
Synthèse de programmes par transformation
Génération de programmes par application systématique de règles de transformation sur des programmes existants ou des squelettes de code.
Neural Architecture Search multi-objectifs
Optimisation simultanée de plusieurs métriques comme la précision, la latence, la consommation énergétique et la taille du modèle.
Synthèse de programmes par apprentissage automatique
Utilisation de modèles d'apprentissage profond comme les transformers pour générer directement du code à partir de descriptions en langage naturel.