@misc{indiciae6bb80e65da26, title = {FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?}, author = {Chinmay Mittal and Krishna Kartik and Mausam and Parag Singla}, year = {2025}, url = {https://arxiv.org/abs/2402.02611}, note = {Source identifier: 2402.02611} }