Tag archive
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.
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.
What Changed The landscape of AI-driven software engineering has long been dominated by...
ReaComp compiles LLM reasoning traces into symbolic solvers that run at zero inference cost—84.7% on PBEBench-Hard with 78% fewer tokens.