Solving Sudoku reasoning via Energy Geometric models

Show HN: Solving Sudoku reasoning via Energy Geometric models

Solving Sudoku reasoning via Energy Geometric models is a business in show hn launch.

Profile

We were genuinely impressed by Yann LeCun’s recent announcement about his Sudoku solver based on Energy-Based Models here: https://logicalintelligence.com/yann-lecunSo we (a software engineer and prodigy mathematician) worked in the weekend to see if we can beat it and we did!If Kona solves puzzles in 313 milliseconds, we currently solve 270,000 puzzles per second!We do not know the internal mechanics behind Logical Intelligence’s system, but we are happy to share ours in the webpage there is a full description, code and also a paper published.Why people are obsessed with Sudoku: we think is because being a CSP, it can solve some serious business problems such as work scheduling, resource al

Its activity falls under show hn launch; the profile below is assembled from public directory data.

Its current recorded stage is Show HN launch.

Website: www.davisgeometric.com/index.html