This folder contains two subfolders for recreating the benchmarks in the paper.
- gpt3 The GPT-3 experiments.
- enumerative The enumerative top-down search solvers.
Each folder has a separate README explaining how to run the experiments.
Files
Latest commit
solvers
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||