Dec 14, 2023
A language model proposes programs that an evaluator tests, discovering new cap-set constructions and bin-packing heuristics.
New constructions improve known results without settling the entire cap-set problem. The shared code includes a single-threaded pipeline, with the language model and execution sandbox supplied separately.