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.
This repository was archived by the owner on Feb 19, 2026. It is now read-only.