Autoresearch for SAT Solvers(github.com)
github.com
Autoresearch for SAT Solvers
https://github.com/iliazintchenko/agent-sat
1 comments
An autonomous AI agent that teaches itself to become the world's top expert on MaxSAT. Given weighted MaxSAT instances, it learns novel strategies, finds better solutions and iteratively refines its toolbox. No human guidance.