Autoresearch for SAT Solvers

 (github.com)

2 points | by chaisan 3 hours ago

1 comments

  • chaisan 3 hours 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.