{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:TSCRWRFLS6L37RV5CV666ZZ6K5","short_pith_number":"pith:TSCRWRFL","canonical_record":{"source":{"id":"2607.20456","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-14T22:55:14Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"5efdfbc1a46ccf9548036e229cd071f140e227953e2dd2602a8c88c4eb7ff37e","abstract_canon_sha256":"fcedab7d8e1762a4e9b7b1c2c0099c7bfe3dcf310ce6e56dca53ba65a0cbc271"},"schema_version":"1.0"},"canonical_sha256":"9c851b44ab9797bfc6bd157def673e5773113727e4c711e3b03d25a8ece4e816","source":{"kind":"arxiv","id":"2607.20456","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.20456","created_at":"2026-07-24T00:23:16Z"},{"alias_kind":"arxiv_version","alias_value":"2607.20456v1","created_at":"2026-07-24T00:23:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.20456","created_at":"2026-07-24T00:23:16Z"},{"alias_kind":"pith_short_12","alias_value":"TSCRWRFLS6L3","created_at":"2026-07-24T00:23:16Z"},{"alias_kind":"pith_short_16","alias_value":"TSCRWRFLS6L37RV5","created_at":"2026-07-24T00:23:16Z"},{"alias_kind":"pith_short_8","alias_value":"TSCRWRFL","created_at":"2026-07-24T00:23:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:TSCRWRFLS6L37RV5CV666ZZ6K5","target":"record","payload":{"canonical_record":{"source":{"id":"2607.20456","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-14T22:55:14Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"5efdfbc1a46ccf9548036e229cd071f140e227953e2dd2602a8c88c4eb7ff37e","abstract_canon_sha256":"fcedab7d8e1762a4e9b7b1c2c0099c7bfe3dcf310ce6e56dca53ba65a0cbc271"},"schema_version":"1.0"},"canonical_sha256":"9c851b44ab9797bfc6bd157def673e5773113727e4c711e3b03d25a8ece4e816","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-24T00:23:16.422760Z","signature_b64":"zT9FCeXwJns6zwlN/blDMO/T5N3cMXBwR1bn1es+RcpxECYlXDHLjNGlcdwQZRG5CGFU0JrXJPdbb+oFvbe+Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9c851b44ab9797bfc6bd157def673e5773113727e4c711e3b03d25a8ece4e816","last_reissued_at":"2026-07-24T00:23:16.421892Z","signature_status":"signed_v1","first_computed_at":"2026-07-24T00:23:16.421892Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.20456","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-24T00:23:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RHZ77BQpERyJmmK/kRzVN4vMj39tNn5Zset+1Xtw0s8nUMjmbLQXLfC90k5fWC4gGuARppZcNABzHBWCqkgUBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:11:30.985939Z"},"content_sha256":"18341e081817afbae7f50d7b10ae65ed50983fd3c30f68981265a717b8537b79","schema_version":"1.0","event_id":"sha256:18341e081817afbae7f50d7b10ae65ed50983fd3c30f68981265a717b8537b79"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:TSCRWRFLS6L37RV5CV666ZZ6K5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learn2Zinc: Fine-tuning Small Language Models for Text-to-Model Translation in MiniZinc","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Karthik Uppuluri, Serdar Kadioglu","submitted_at":"2026-05-14T22:55:14Z","abstract_excerpt":"Large language models excel at code generation for mainstream programming languages but struggle with rare, domain-specific languages such as MiniZinc, a constraint modeling language for combinatorial problems. We investigate whether targeted fine-tuning can teach small language models (0.6B to 20B parameters) to generate syntactically correct and semantically valid MiniZinc models from natural language problem descriptions. Our key finding is that syntax errors dominate failures when working with this domain specific language: the out-of-the-box execution accuracy of small language models suc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.20456","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.20456/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-24T00:23:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ESHxPB2TuRVfVss77Czso37lNaPuH71OJUs9TL+w0WM2EwCvSQr0DpNgcPwaBG5KUY1j9k1bAnbTg5xS1BvnDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:11:30.986458Z"},"content_sha256":"a9d488e3cd24074d9410ae8d3ffa75c15c434dad99e3cd56aae4f4ac060c3b07","schema_version":"1.0","event_id":"sha256:a9d488e3cd24074d9410ae8d3ffa75c15c434dad99e3cd56aae4f4ac060c3b07"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TSCRWRFLS6L37RV5CV666ZZ6K5/bundle.json","state_url":"https://pith.science/pith/TSCRWRFLS6L37RV5CV666ZZ6K5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TSCRWRFLS6L37RV5CV666ZZ6K5/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-06T09:11:30Z","links":{"resolver":"https://pith.science/pith/TSCRWRFLS6L37RV5CV666ZZ6K5","bundle":"https://pith.science/pith/TSCRWRFLS6L37RV5CV666ZZ6K5/bundle.json","state":"https://pith.science/pith/TSCRWRFLS6L37RV5CV666ZZ6K5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TSCRWRFLS6L37RV5CV666ZZ6K5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:TSCRWRFLS6L37RV5CV666ZZ6K5","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"fcedab7d8e1762a4e9b7b1c2c0099c7bfe3dcf310ce6e56dca53ba65a0cbc271","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-14T22:55:14Z","title_canon_sha256":"5efdfbc1a46ccf9548036e229cd071f140e227953e2dd2602a8c88c4eb7ff37e"},"schema_version":"1.0","source":{"id":"2607.20456","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.20456","created_at":"2026-07-24T00:23:16Z"},{"alias_kind":"arxiv_version","alias_value":"2607.20456v1","created_at":"2026-07-24T00:23:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.20456","created_at":"2026-07-24T00:23:16Z"},{"alias_kind":"pith_short_12","alias_value":"TSCRWRFLS6L3","created_at":"2026-07-24T00:23:16Z"},{"alias_kind":"pith_short_16","alias_value":"TSCRWRFLS6L37RV5","created_at":"2026-07-24T00:23:16Z"},{"alias_kind":"pith_short_8","alias_value":"TSCRWRFL","created_at":"2026-07-24T00:23:16Z"}],"graph_snapshots":[{"event_id":"sha256:a9d488e3cd24074d9410ae8d3ffa75c15c434dad99e3cd56aae4f4ac060c3b07","target":"graph","created_at":"2026-07-24T00:23:16Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.20456/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models excel at code generation for mainstream programming languages but struggle with rare, domain-specific languages such as MiniZinc, a constraint modeling language for combinatorial problems. We investigate whether targeted fine-tuning can teach small language models (0.6B to 20B parameters) to generate syntactically correct and semantically valid MiniZinc models from natural language problem descriptions. Our key finding is that syntax errors dominate failures when working with this domain specific language: the out-of-the-box execution accuracy of small language models suc","authors_text":"Karthik Uppuluri, Serdar Kadioglu","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-14T22:55:14Z","title":"Learn2Zinc: Fine-tuning Small Language Models for Text-to-Model Translation in MiniZinc"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.20456","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:18341e081817afbae7f50d7b10ae65ed50983fd3c30f68981265a717b8537b79","target":"record","created_at":"2026-07-24T00:23:16Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"fcedab7d8e1762a4e9b7b1c2c0099c7bfe3dcf310ce6e56dca53ba65a0cbc271","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-14T22:55:14Z","title_canon_sha256":"5efdfbc1a46ccf9548036e229cd071f140e227953e2dd2602a8c88c4eb7ff37e"},"schema_version":"1.0","source":{"id":"2607.20456","kind":"arxiv","version":1}},"canonical_sha256":"9c851b44ab9797bfc6bd157def673e5773113727e4c711e3b03d25a8ece4e816","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9c851b44ab9797bfc6bd157def673e5773113727e4c711e3b03d25a8ece4e816","first_computed_at":"2026-07-24T00:23:16.421892Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-24T00:23:16.421892Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zT9FCeXwJns6zwlN/blDMO/T5N3cMXBwR1bn1es+RcpxECYlXDHLjNGlcdwQZRG5CGFU0JrXJPdbb+oFvbe+Aw==","signature_status":"signed_v1","signed_at":"2026-07-24T00:23:16.422760Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.20456","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:18341e081817afbae7f50d7b10ae65ed50983fd3c30f68981265a717b8537b79","sha256:a9d488e3cd24074d9410ae8d3ffa75c15c434dad99e3cd56aae4f4ac060c3b07"],"state_sha256":"0757e59c871a421cd369da45e8e6463a9ed61220d846e2c8037ec0be6227aadf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kKp3fpmvG5ebSyBr/fpal7SFNXDDu2sI6s1Q4n3L30Eu4KhB0aydAZnjVivN0yHDr6wlADUhsXaDJ/zN8u6ICA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T09:11:30.991542Z","bundle_sha256":"5d36c452c56776913bb09f697c01027187e82a3b30861a35486a5ef02fc624d0"}}