Autoresearch for SAT Solvers (opens in new tab)

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.