Understanding list_tasks2.json

[mdrpanwar]

Hi,

I have been trying to understand the framework and need some help with data/list_tasks2.json:

• It uses some non-trivial functions like identify-k, append-k, intersperse-k, etc.
  • Where can I find the definitions for these functions?
  • Are these the new functions that the model discovers while solving the tasks? If so, how is the assignment of meaningful names to these functions done?
• What do dyn and static mean? It would be really helpful if you could explain the function denoted by any one expression from this JSON and apply that to a sample input.

Thanks.