HyperAIHyperAI

Command Palette

Search for a command to run...

SPoC : Recherche de pseudo-code à code

Sumith Kulal; Panupong Pasupat; Kartik Chandra; Mina Lee; Oded Padon; Alex Aiken; Percy Liang

Résumé

Nous abordons la tâche de traduire du pseudo-code en programmes longs et fonctionnellement corrects. Étant donné des cas de test comme mécanisme pour valider les programmes, nous effectuons une recherche dans l'espace des traductions possibles du pseudo-code afin de trouver un programme qui passe la validation. Cependant, sans une attribution de crédit appropriée pour localiser les sources d'échec des programmes, il est difficile d'orienter la recherche vers des programmes plus prometteurs. Nous proposons d'effectuer l'attribution de crédit en fonction des signaux provenant des erreurs de compilation, qui représentent 88,7 % des échecs de programme. Plus précisément, nous traitons la traduction de chaque ligne de pseudo-code comme une partie discrète du programme, et chaque fois qu'un programme synthétisé échoue à compiler, une méthode de localisation d'erreur tente d'identifier la partie du programme responsable de l'échec. Nous concentrons ensuite notre recherche sur des traductions alternatives du pseudo-code pour ces parties. Pour l'évaluation, nous avons collecté le jeu de données SPoC (Search-based Pseudocode to Code) contenant 18 356 programmes avec du pseudo-code rédigé par des humains et des cas de test. Avec un budget de 100 compilations de programme, effectuer une recherche améliore le taux de réussite de la synthèse par rapport à l'utilisation seule de la meilleure traduction du pseudo-code, passant de 25,6 % à 44,7 %.


Créer de l'IA avec l'IA

De l'idée au lancement — accélérez votre développement IA avec le co-codage IA gratuit, un environnement prêt à l'emploi et le meilleur prix pour les GPU.

Codage assisté par IA
GPU prêts à l’emploi
Tarifs les plus avantageux

HyperAI Newsletters

Abonnez-vous à nos dernières mises à jour
Nous vous enverrons les dernières mises à jour de la semaine dans votre boîte de réception à neuf heures chaque lundi matin
Propulsé par MailChimp