Question regarding primitives

[EauDeData]

Hi!
Congratulations for your work; really promising!
Quick question I cannot find in the code nor the paper, have you edited the original primitives library for DreamCoder?

I am starting to work on this kind of approaches; but I am completely lost on how one does usually operate...
Cheers!

[toniwuest]

Hi, thank you for your interest!
The primitves used are defined here:

pix2code/dreamcoder/dreamcoder/domains/relation/relation_primitives.py

Line 202 in 5717855

def get_kandinsky_primitives():

Most of them are original primitves but we added some like "forall" and "exists". Hope that helps :)