KITAB: Evaluating LLMs on Constraint Satisfaction for Information Retrieval.
Marah I AbdinSuriya GunasekarVarun ChandrasekaranJerry LiMert YüksekgönülRahee Ghosh PeshawariaRanjita NaikBesmira NushiPublished in: ICLR (2024)
Keyphrases
- constraint satisfaction
- information retrieval
- constraint satisfaction problems
- probabilistic reasoning
- phase transition
- constraint programming
- arc consistency
- constraint propagation
- russian doll search
- information retrieval systems
- heuristic search
- search engine
- robust fault detection
- sat solvers
- constraint relaxation
- product configuration
- relaxation labeling
- combinatorial problems
- constraint networks
- non binary
- bayesian networks
- constraint solving
- constraint optimization
- np hard
- np complete
- search strategies