program-synthesis
Everything on Ground Truth tagged “program-synthesis” — 3 items.
Discovery Loop gets ten AI-assisted circle-packing candidates accepted by Packomania News
Discovery Loop used Claude Fable 5.1 to revise a solver and produced ten circle-packing candidates accepted by Packomania in an eight-hour, $27.72 consumer-PC run.
Compile by Training turns a language specification into a reusable local neural function News
A new EMNLP demonstration system uses teacher-generated examples to train a compact task-specific adapter from a natural-language specification, reporting 83.6% semantic accuracy on a difficult subset where a fast compiler achieved 22.4% mean LEM.
Discovery Loop Tool
A public agentic optimisation harness that has a verified circle-packing plugin, independent checking and reproducible solver-evolution workflow.