PulseAugur
EN
LIVE 09:57:49

Diffusion model predicts Sokoban puzzle solvability without explicit training

Researchers have developed a transformer-based diffusion model that can predict the solvability of Sokoban puzzles with 77.4% accuracy, despite being trained solely on tile completion without explicit solvability labels or solvers. This model, adapted from MD4 and trained on DeepMind's Boxoban dataset, demonstrates that a global property like puzzle solvability can emerge from a local training objective. The model's ability to reveal cells in any order, conditioned on already placed elements, makes it a better structural match for the problem's non-local constraints than traditional autoregressive models. AI

IMPACT Demonstrates emergent capabilities in AI models, suggesting potential for solving complex combinatorial problems without direct supervision.

RANK_REASON The item is an academic paper detailing a new model and its performance on a specific task. [lever_c_demoted from research: ic=1 ai=1.0]

Read on arXiv cs.AI →

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →

Diffusion model predicts Sokoban puzzle solvability without explicit training

COVERAGE [1]

  1. arXiv cs.AI TIER_1 English(EN) · Sina Baghal ·

    Solvable Sokoban Without a Solver via Diffusion

    arXiv:2608.15958v1 Announce Type: new Abstract: Deciding whether a Sokoban puzzle is solvable is PSPACE-complete (Culberson, 1997): solutions can be exponentially long and there is no short certificate to check. Solvability is also a fragile property, since even a single misplace…