{"as_of":"2026-08-09T23:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a2d580ccab38f2cda0b1007b5bcb6b26f26369cb7e6af24db0376234784c3241","coverage":[{"denominator":48,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":48,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-12T21:05:04.540514Z","state":"measured"},{"denominator":49,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":49,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T13:59:23.802281Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.12955","snapshot_observed_at":"2026-08-02T13:59:23.802281Z","title":"MichaelKlamkin,ArnaudDeza,SikaiCheng,HaoruoZhao,andPascalVanHentenryck","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20456","last_updated":"2026-05-14T22:55:14Z","snapshot_observed_at":"2026-08-07T21:58:46.603431Z","submitted_at":"2026-05-14T22:55:14Z","title":"Learn2Zinc: Fine-tuning Small Language Models for Text-to-Model Translation in MiniZinc","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-02T13:59:23.802281Z"},"links":{"cited_paper":"/paper/2604.12955","citing_paper":"/paper/2607.20456"},"observation_digest":"sha256:2ae5668ce00d646dd46a563df802ce3f0d517acbc738426ba9fd4de0fafc7527","observation_id":"35f08910-7cf8-4f47-8b94-2de557bd66d9","resolution":{"observed_at":"2026-08-02T13:59:23.802281Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2604.12955/citation-record","integrity":"/paper/2604.12955/integrity","json":"/paper/2604.12955/citation-record.json","paper":"/paper/2604.12955"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:e1b310be9f2dcf57eb306dc5d6c42897b9ce1601cc64f0fa1da0f62bd1c1abc4","observation_id":"a4cd660f-1d47-4a90-9f74-ecd41589897d","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:b4e791da127767b1d9f82c85a417ecf5b8c42576a643418899eecf3208ea070f","observation_id":"5a652f9c-2908-4271-a196-d32ea1f16c4f","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:19dfcc9190491e96557b77a16e486fda16fa2f32fa5f8fe4630c1b70d3b55eb5","observation_id":"83a744cb-4ed9-4b4a-aaa1-f08444a0ea1d","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":"Explicitlycasttypesifnecessary","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:991d63815910c97a9f9c7721164c80cc5968e0f1105995be373e561d959153be","observation_id":"54c7cdb5-2b23-4a58-ae75-1ccf2fdb9c59","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":"Do not forget the ‘solve‘ keyword","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:0fcb05784150544688806d263aebe83e4a7ed55e54b2e62ff1aaf8b6150a5071","observation_id":"3d07af75-f64b-4093-afab-86e1169237d5","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:17dc60b10e24e1151fe2eef7f6aa693c0ed2e6d608b2d3cd5d3ba03d3c8c8569","observation_id":"010a9be4-7faa-4b26-a8ae-49cf41114f2a","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:616cf106619ee827cd1044d797f5b2b62222e3bdd3057753572b902954202773","observation_id":"f2e63e0d-0fb1-4a80-bba1-b1ffaec87ddd","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":"Please do not generate any other token, except the MiniZinc code","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:83451d29c5f554587f1ee0e20060d626a85cd0e88088a98cc70adb4e33065c6a","observation_id":"81398804-c6e8-4c00-83f7-ae1db531c635","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:e97c8f7e808e2ee5cd198208f5e6866864b39534e6dc3afe5305ab539bd9dc1f","observation_id":"a1dfe1ca-bd92-420c-916b-54cfda9ed74e","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:6617a93405c754afc9316454e2891cf9d4756adeb87e389560fd272c284a6441","observation_id":"8288f9b1-e9f0-482b-a6d0-637c49c6cbc2","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:ab1cdeb75d09cced2bbd763e9f95b64e082119cf9f7294c687b6a82207bafb0b","observation_id":"0787a2dd-b4c3-4975-a2d9-da11e5953d10","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":"minimization","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:f65bce6008e97788737967fc7b9bfec82bd8854ce9591339cbd57c19799d62f0","observation_id":"9dcff7a6-fdf3-4ea8-89e6-aaf0037b7fdf","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:acbd1f0f2d26d75b90813c366c30182671702adaa5b816f6f7534a56580c7358","observation_id":"4547db2b-603c-4c10-a621-fb55df6b26b2","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:fc24e84ae9e8fc03a9cff0adbde967ac17732b598866df62614bbfa02eb003c8","observation_id":"a7907506-2c65-45d7-85c8-8a19a8b9dc26","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":"If any issues are found, revise the MiniZinc code accordingly","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:44c23b99189965499af9b783f126c2a02dee848e48168e2d787731f1c25553bc","observation_id":"61945c1e-c377-47f4-a181-db0c1483242a","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":"Do not declare values directly from the input data nomenclature and examples within the MiniZinc model","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:85c0b2952ce3ea975c3c7bf4c3aca174a9148970ab8acfe587f5d8bb299425eb","observation_id":"a4d336b4-aa27-47f7-83bf-cfae1537e8e6","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:d83af1de0b9004d75311e2bff64e18f744c86b814007d973ca05ff652251e617","observation_id":"2677d3b3-815c-4ea1-b9fc-bb87d90d7740","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":"If bounds are explicit (e.g., non-negative), include them as constraints","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:45101ed5576174ce2c31d805f3a6d95b37b5fda5441aec4ee4967a89c4a43a3d","observation_id":"4cf9fe78-c2cd-4095-9dad-e4e66a1e6ac0","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":"Applyelement-wiseconstraintsin a separate constraint block if bounds depend on array elements","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:3d89c701890b66a443533bf8f08a6c06fb3d307cffa889c6532bae24d3846ade","observation_id":"42d9cdf6-3565-4a55-b20d-92eeb72f21e4","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:d1116bc0eeb568323ff520d843a5d2015bb246c67089a888550b58c790214aa1","observation_id":"f63de7e4-3afe-4a10-bef3-8a1b7d1f0c7b","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:64ebb209fed54db2f4198f95a52fb97e90a0cb5600cebb8fb950f323449cb027","observation_id":"718e06d4-75d7-4564-9ab5-5259cf5dc94d","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:cc67622de29728c5756123a12cd502c635184d43d05d858f3662d7e01741a44c","observation_id":"0b12ba8c-a3b8-43be-83e9-c74da6770d67","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:14a3bcdc8db246db0c6e8f7df462ccc7fef7507efe525225eb6b2bb264c3d52c","observation_id":"4c93523e-bbbb-45a3-ad53-6f6e5221bd88","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:eb88bcb6b3b93eae51ec60f53f23a82fdaa617d6a5a44c33f9713fff82aa4c91","observation_id":"9343be93-18f2-493b-87c8-d93cf0b141dd","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:72771af60c7b32c0d6157085ae5890bcb4565e0d931ccaed674fb98317bbb986","observation_id":"25ab4d67-28db-429e-ac52-e97d6a0c419c","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:34c50748034125c63a5c735185580a84319b1bdbbd04e23a0ff684dbcc37e0f1","observation_id":"5fb078a0-d7a2-40ac-80d4-ffb07029bf89","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":"Problem Description: {problem_description} 27 Input Data Nomenclature and Examples: {data_nomenclature} C.6.2 Constraints You are an expert MiniZinc developer","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:adae7588b087c6bb437eaebef37c3583876c524c5fd1981b4c9fbb0e918a6e3d","observation_id":"af63991a-11ac-473c-ae3d-91147e02d42f","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:a6a6ebd3c0166c94a2e1b021b294639e1324ae8fa12ec73147e9d520a798ee3a","observation_id":"135a0c92-e155-4979-97e6-25e54380bf01","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:95f7762b7e470a03af163069ffecda3703c51f8e4d2bf852289965f0752a90c0","observation_id":"ed399455-72e1-471c-8672-0ae88bb2081b","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:603eb14b1541b8ab64506c36c8b53b61f0ccf9eb10e5b7b8c8bdf91eea071791","observation_id":"33244edd-1372-49e6-a0d8-02399afc45b3","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:31d0bd2ff11efa98e042130138d9ddd384283a2d8c292fd429129a15d6141b8e","observation_id":"b84a1a9f-9e10-4352-af1f-e1e0461bbc2b","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:524a3c9ac17ec925f5274f5f83ef03fb53c2d8a5b9dcfaf0b5224eb2ab2a3adb","observation_id":"4fd98529-c9b2-4c30-b2bf-54e914490dc7","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:24855a3842f6a335cbf812e4ddf8fccb9e6ed653b6f292677e252469f36bf6bd","observation_id":"2eeeac95-0bd1-4c58-93fb-ef6214c7cffc","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:38c85536a2e8221d99eef780cb78b9fe64c5b9a70f20beee4ad58173477f0a25","observation_id":"00c83239-9d8c-447a-972b-d7516c7d3558","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:c3cc28480c10d7c4f657533fa313cf5b817d5f2f87e4c530a9c506a729bf5d50","observation_id":"0b9a2e17-ad20-4e85-8e08-74697d4c2e41","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:737139d8ba1e8a7b93c94833a0e77c13dc5cc99b8c8ca16b1ba092a9fd71aa8c","observation_id":"bffdba81-d5a1-48b2-a9ce-5ce77891f081","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":"Do not forget the ‘solve‘ keyword","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:0fd5079f6b04f02f903e360c8d2f7fd58ed73ff29d3f1e79177fb0970e079c63","observation_id":"58758ed5-176c-489a-935d-276bccbeed31","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:9a8de984104e73cb427b789a9231d5a82b8ddff71a878a07d6061fa8ab8d0e91","observation_id":"d2ccece8-142e-42d2-a1cf-97e0df90e45c","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:38a8b265f6ba758c92983f3067aefdd71419a2d76311d18264a4e38ddb041bef","observation_id":"9f32fd28-7c3b-4d5a-bd07-5e05d237d5d3","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:090eb8931309221f236b28986cc99211e2b03e1b19745480776fdb8f9be1a1d0","observation_id":"875876af-ec9e-4121-9f09-9587b0dc19d8","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:00395cf0b517a4b01df741306a1bcfa7f6383c84e49d903be17a87a6c561223c","observation_id":"cb920143-01ee-4750-8376-8942bd7292a6","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:8561463e1876304e3d88994475cacd48525e98f00ee75cd9130338fa564d6b1b","observation_id":"8173325b-2ce5-445f-a26f-70f61b764728","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:c85b1113ad6cf9b2992542efe416090cde220256b727d7998a08f9aaaf5564f2","observation_id":"e3680c9a-0513-4301-89df-dd900b013f4c","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:c6938fb184fee86094cb68664a2483dee2c7184e3b0fb220256a911df7641b95","observation_id":"510b4099-4b7c-4aba-a320-880846393b6b","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:a3e0bd0db13ac427dec71d63cb458b0071178c614815f5ccbbd8994146552473","observation_id":"164cec33-375a-4e22-8b5d-706a8d56d2df","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:a4fe1b350e0d9c3b4686e6f70b0fb150467ea1d785873cae94e719c167715839","observation_id":"b3975d11-3bd4-4a44-8b2e-d46cc1e600d9","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:5fb5c6f99c3c991e46066d035426e4ec49386f3a60f2633141aa407b12a73136","observation_id":"0c8bea47-25a8-460f-be53-67540f2b162a","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T21:05:04.540514Z","title":"Generate MiniZinc code ONLY. Do NOT generate CPOPT, COPT, or any other format even if the problem description mentions it","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation","version":3},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-07-12T21:05:04.540514Z"},"links":{"citing_paper":"/paper/2604.12955"},"observation_digest":"sha256:39f25b702bfaa6041ec9b2b626f4c64da8dc072e55c717a6ed89cf912e4faacc","observation_id":"ddc88ec0-3c0b-4329-9afd-f451c5bbf52c","resolution":{"observed_at":"2026-07-12T21:05:04.540514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2604.12955","last_updated":"2026-05-27T09:15:27Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-06T16:02:09.580603Z","submitted_at":"2026-04-14T16:51:29Z","title":"Text2Model: Modeling Copilots for Text-to-Model Translation"},"reference_resolution":{"displayed":48,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":48,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":48},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 1 inbound Pith citation observation for arXiv:2604.12955."}