EnigmaForge: The Question Is Hidden in the Story
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…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
