Pith Number

pith:PVX36HTM

pith:2026:PVX36HTMPCZG7C5GUWY3YYGI3H

not attested not anchored not stored refs pending

Text2Model: Modeling Copilots for Text-to-Model Translation

Akash Singirikonda, Karthik Uppuluri, Serdar Kadioglu

LLM copilots translate natural language into solver-agnostic MiniZinc models for both satisfaction and optimization problems.

arxiv:2604.12955 v3 · 2026-04-14 · cs.AI

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{PVX36HTMPCZG7C5GUWY3YYGI3H}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest claim

our work is the first attempt to integrate both satisfaction and optimization problems within a unified architecture and dataset. Moreover, our approach is solver-agnostic unlike existing work that focuses on translation to a solver-specific model.

C2weakest assumption

That LLM-generated MiniZinc models will be syntactically correct and semantically faithful to the natural-language specification for realistic combinatorial problems without requiring substantial human correction or solver-specific tuning.

C3one line summary

Text2Model copilots and Text2Zinc dataset enable unified, solver-agnostic text-to-MiniZinc translation for both satisfaction and optimization problems using multiple LLM strategies.

Receipt and verification

First computed	2026-05-28T01:04:40.001454Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

7d6fbf1e6c78b26f8ba6a5b1bc60c8d9df982fbb0d7902687b8fef8d19cfe974

Aliases

arxiv: 2604.12955 · arxiv_version: 2604.12955v3 · doi: 10.48550/arxiv.2604.12955 · pith_short_12: PVX36HTMPCZG · pith_short_16: PVX36HTMPCZG7C5G · pith_short_8: PVX36HTM

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/PVX36HTMPCZG7C5GUWY3YYGI3H \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 7d6fbf1e6c78b26f8ba6a5b1bc60c8d9df982fbb0d7902687b8fef8d19cfe974

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "537270e54aa0d0b70e15db378b6f5c5954df242732cd7eb37a09982a4740e868",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.AI",
    "submitted_at": "2026-04-14T16:51:29Z",
    "title_canon_sha256": "7500192b4fbfa5609658fbed1425e54d754d9b73a7104f3e712264d19d1ba5e6"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2604.12955",
    "kind": "arxiv",
    "version": 3
  }
}