Artifacts of functions evaluated in the paper
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 3/5
- Tempo estimado
- 1-2 dias
- Facilidade para iniciantes
- 48/100
- Tipo de issue
- Documentação
- Clareza
- Razoavelmente clara
- Status de atividade
- Pouca atividade
- Stack de tecnologia
- python
- Domínio
- documentation
Direção de pesquisa
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.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
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
- Linguagem predominante
- Python
- Estrelas
- 29
- Forks
- 3
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de OpenDataBox/OpenCook
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
OpenDataBox/OpenCook#1 ·
Todas as issues de OpenDataBox/OpenCook
Issues semelhantes
-
area: harness bug status: needs-triage
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
Human-Agent-Society/reef#625 ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 70/100
-
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 80/100
learningequality/kolibri#15351 · 2 comentários ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
-
Name consistency Aberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
eellak/triplestore#65 · 1 comentário ·