Can Language Models Falsify? Testing Algorithmic Reasoning via Counterexamples

falsifiers.github.io