TY  - RPRT
TI  - FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?
AU  - Chinmay Mittal
AU  - Krishna Kartik
AU  - Mausam
AU  - Parag Singla
PY  - 2025
UR  - https://arxiv.org/abs/2402.02611
ID  - 2402.02611
ER  -