Solicitar una PREreview

Puedes solicitar una PREreview de From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification. Una PREreview es una revisión de un preprint y puede variar desde unas pocas oraciones hasta un extenso informe, similar a un informe de revisión por pares organizado por una revista.

Antes de iniciar

Te pediremos que inicies sesión con tu ORCID iD. Si no tienes un iD, puedes crear uno.