Autoresearch for SAT Solvers
Summary
The article describes an autonomous AI agent that teaches itself to become the world’s top expert on MaxSAT, using 229 weighted instances from the 2024 MaxSAT Evaluation. It outlines the agent’s workflow, library of solver tools, results, and the various techniques discovered, illustrating autonomous optimization and knowledge sharing via a GitHub repository.