iliazintchenko/agent-sat

Agent learns to become the worlds top expert on SAT

167 best points · 33 comments · 2 Hacker News posts · 183 GitHub stars · View on GitHub

Hacker News discussions

• Autoresearch for SAT Solvers (167 points, 32 comments, by chaisan, 2026-03-19)
• Autoresearch for SAT Solvers (3 points, 1 comments, by chaisan, 2026-03-16)