Demander une PREreview
Vous pouvez demander un PREreview de From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification. Un PREreview est une évaluation d'un preprint et peut varier de quelques phrases à un rapport détaillé, semblable à un rapport d'évaluation par les pairs organisé par une revue.
Avant de commencer
Nous vous demanderons de vous connecter avec votre identifiant ORCID iD. Si vous n'en possédez pas, vous pouvez en créer un.
Qu’est-ce qu’un ORCID iD ?
Un ORCID iD est un identifiant unique qui vous distingue de toute personne ayant le même nom ou nom similaire.