llm-solve workshop extension

[Tias Guns]

Dear constraints community,

We've extended the deadline for the CP/SAT workshop "LLMs meet
Constraint Solving" to June 20, 2025.

Submissions of ongoing work are also welcome, with a light 2-page
abstract format.


We're also happy to give attention to two open source CP-oriented
datasets with corresponding HuggingFace leaderboard:

* Text2Zinc: https://huggingface.co/spaces/skadio/text2zinc-leaderboard

* CP-Bench: https://huggingface.co/spaces/kostis-init/CP-Bench-Leaderboard

They consider the task of going from a natural language problem
formulation to an executable CP model.

At the workshop, both datasets and their evaluation framework will be
presented, as well the current status of the leaderboards; so feel free
to participate in those leaderboards at any time!


Kind regards,

The LLM-solve workshop organizers: Tias, Serdar, Stefan and Dimos