PuzzleBench: Can LLMs Solve Challenging First-Order Combinatorial Reasoning Problems?

Open in new window