Paper recorded by Signals 4 on 2026-09-24 in cs.AI. Abstract reproduced from arXiv; link to the original below.
Published 2026-09-24 on arXiv · recorded by Signals 4 on 2026-09-25
Category: cs.AI · 人工智能 · first seen 2026-09-25
Most benchmarks hand the model a question. EnigmaForge hands it a stack of old documents and no question at all. Buried in the letters, receipts, and logbook margins is a small logic puzzle whose solution is unique - proved by a SAT solver at generation time, with an ablation certificate showing every clue is load-bearing. Because instances are generated rather than collected, the corpus renews fo