This repository contains research artifacts for the PLDI'23 paper, Programming Large Language Models. This includes a runtime and IDE for the presented language model query language (LMQL) and the ...
This project includes the constraint programming (CP) models presented in the paper New Bounds and Constraint Programming Models for the Weighted Vertex Coloring Problem, IJCAI 2023. The vertex ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback