2026· International Conference on Simulation and Modeling Methodologies, Technologies and Applications· pp. 162-170· 0 citations· 20 references
Computer Science
TL;DR
This study presents a simulation framework designed to evaluate the behavioral effectiveness of various automated solvers, and introduces AlphaSudoku, a hybrid simulation model that integrates probabilistic rules and strategic search.
Abstract
: While Sudoku is governed by simple rules, it represents a complex constraint-satisfaction problem ideal for simulating and evaluating the performance of intelligent agents. This study presents a simulation framework designed to evaluate the behavioral effectiveness of various automated solvers. Deterministic methods, such as backtracking and SAT solving, as well as probabilistic methods like Monte Carlo Tree Search and Deep Learning networks, were implemented and compared. Furthermore, we introduce AlphaSudoku, a hybrid simulation model that integrates probabilistic rules and strategic search. Through extensive experimentation across two thousand puzzles of varying difficulty levels, our results demonstrate that deterministic solvers maintain perfect reliability, achieving 100% success rates even on expert-level puzzles. While AlphaSudoku emerges as an effective balance between computational efficiency and solving accuracy, purely probabilistic methods exhibit significant limitations when confronted with higher-difficulty puzzles. These findings highlight the robustness of traditional symbolic methods, while also revealing the potential of hybrid and learning-based approaches in scenarios requiring adaptability and scalability.
Large language models (LLMs) have recently improved their problem-solving abilities and can solve complex mathematical problems with an increasing accuracy, necessitating the development of more challenging benchmarks. Over the years, the performance of LLMs on several benchmark datasets has also improved, motivating t...
Anurag Dutta, S. Priya, A. Ramamoorthy et al.· AppliedMath· 0 citations
This paper introduces AESAT (Auto-Evolving SAT solving), a novel neuro-symbolic framework designed to automatically evolve and optimize the heuristic functions of SAT solvers, and represents the first time an LLM-enhanced solver has dominated the world's premier SAT competition.
Mao Luo, Hang Ding, Chumin Li et al.· Proceedings of the Thirty-Fi...· 0 citations
Analysis shows that BRANCH's advantage arises not only from exploring multiple reasoning paths, but also from recovering from truncation: its gains strongly correlate with the baseline rate of empty, budget-exhausted outputs, weakening the hypothesis that different problems require routing among test-time reasoning ope...
Sheng Zhang, Xiao-Min Wu, Xi-Yang Wu et al.· 0 citations
This work trains from random initialization through searched self-play on a single eight-GPU node for 2.5 days, and investigates search allocation, replay and restart-state selection, policy representation, progressive model sizing, quantized inference, and throughput engineering.
This work introduces an agentic framework that reformulates a constraint model from an open-ended space and establishes correctness empirically rather than by construction, and demonstrates that autonomous agentic methods can support the improvement of constraint models.
Stellar Colosseum is introduced, a model-agnostic harness for allocating inference across research in mathematics and theoretical computer science that demonstrates the capabilities of Colosseum through open-ended research and evaluations on theorem-proving and competitive programming benchmarks.
Hong-Hao Lin, David P. Woodruff, Yuan Deng et al.· 2 citations· ⚡1
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.