1 citations · 1 across the 8 of their papers we have counts for
1 paper · 2 filters
Chinmay Mittal, Krishna Kartik, Mausam +1
Can the large language models (LLMs) solve challenging first-order combinatorial reasoning problems such as graph coloring, knapsack, and cryptarithmetic? By first-order, we mean t…