An autonomous AI agent teaches itself to become the world's top expert on MaxSAT by analyzing 229 weighted MaxSAT instances from the 2024 MaxSAT Evaluation. It discovers novel strategies, finds better solutions, and iteratively refines its toolbox without human guidance.
github.com
5 min
3/19/2026
An autonomous AI agent teaches itself to become the world's top expert on MaxSAT by analyzing 229 weighted MaxSAT instances from the 2024 MaxSAT Evaluation. It discovers novel strategies, finds better solutions, and iteratively refines its toolbox without human guidance.
github.com
5 min
3/19/2026
An autonomous AI agent teaches itself to become the world's top expert on MaxSAT by analyzing 229 weighted MaxSAT instances from the 2024 MaxSAT Evaluation. It discovers novel strategies, finds better solutions, and iteratively refines its toolbox without human guidance.
github.com
5 min
3/19/2026
No more articles to load