Camera-ready 397 puzzles

Version for camera-ready paper for the NeurIPS proceedings. Added puzzles, including puzzles inspired by HumanEval. Added codex experiments. We are up to 397 puzzles.

Initial

This is the initial version of the dataset with 139,072 puzzles from 200 problems.