#SatSolvers

Latest posts tagged with #SatSolvers on Bluesky

Trending

#MJF Tribute #WBC #Javier Bardem #Marty Supreme #Andrade #Jessie Buckley #Academy Awards #MBJ #Autumn Durald Arkapaw #Wallace #MJF Tribute #WBC #Javier Bardem #Marty Supreme #Andrade #Jessie Buckley #Academy Awards #MBJ #Autumn Durald Arkapaw #Wallace

Posts tagged #SatSolvers

José A. Alonso

@jalonso.eurosky.social

3 months ago

Readings shared November 16, 2025 The readings shared in Bluesky on 16 November 2025 are: To have machines make math proofs, turn them into a puzzle. ~ John Pavlus. #AI #Math #ATP #SatSolvers SITA: A framework for structure-to-instan

Readings shared November 16, 2025. jaalonso.github.io/vestigium/po... #AI #ATP #Autoformalization #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #SatSolvers

1 0 0 0

José A. Alonso

@jalonso.eurosky.social

3 months ago

To Have Machines Make Math Proofs, Turn Them Into a Puzzle | Quanta Magazine Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can do...

To have machines make math proofs, turn them into a puzzle (Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them). ~ John Pavlus. www.quantamagazine.org/to-have-mach... #AI #Math #ATP #SatSolvers

0 0 0 0

Hacker News Companion

@hncompanion.com

9 months ago

Main Theme 2: The power of SAT solvers was discussed. Participants noted their increasing relevance and potential underutilization in solving complex constraint satisfaction problems across various fields beyond typical CS applications. #SATsolvers 4/6

2 0 1 0