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

Chinmay Mittal Krishna Kartik Mausam Parag Singla

Published in: CoRR (2024)

Keyphrases

reasoning problems
description logics
first order logic
decision procedures
constraint satisfaction problems
constraint satisfaction
reasoning tasks
model theoretic
tree decomposition