Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

Artifacts of functions evaluated in the paper

Abierto
#7 1 comentario 1 reacción 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
3/5
Tiempo estimado
1-2 días
Aptitud para principiantes
48/100
Tipo de issue
Documentación
Claridad
Bastante claro
Estado de actividad
Tranquilo
Stack tecnológico
python
Área
documentation

Línea de trabajo

Start by locating the experimental evaluation data and the repository materials corresponding to table 4 in the paper. Determine whether the synthesized-function artifacts are already present or can be extracted, then provide a list containing each function name, source database, and synthesis result.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

Hi, thanks for the great paper and corresponding repo!

I'm trying to dig into the experimental results from the paper and was hoping to find the actual set of functions used in the evaluation. I couldn't locate it in the repo, apologies if I've missed it.

Would it be possible to share the list of functions you synthesized in your experiments? Ideally with:

  • the function name,
  • the source database
  • and whether synthesis was successful for that function
    Basically, just like in table 4.

Thanks,
András

Lenguaje dominante
Python
Estrellas
29
Forks
3
Sin PR fusionados en 30 d

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de OpenDataBox/OpenCook

Todos los issues de OpenDataBox/OpenCook

Issues similares

Más issues de Python

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.