Autoresearch for SAT Solvers (opens in new tab)

(github.com)

3 pointschaisan10d ago1 comments

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.

j / k navigate · click thread line to collapse

Autoresearch for SAT Solvers (opens in new tab)

(github.com)

3 pointschaisan10d ago1 comments

1 comments

chaisanOP10d ago

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.

j / k navigate · click thread line to collapse