{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:2PUPRYMEXLSRD3F5YOFFEYMAOI","short_pith_number":"pith:2PUPRYME","canonical_record":{"source":{"id":"2403.06326","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-03-10T22:14:54Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"4653427af5c7ac14c1e0fd383c960bee49041c9d12be950a1efbd276176ab49d","abstract_canon_sha256":"f50337edf0a6759bab782190c2af6a80a84ed3555840c53596aad685f6816304"},"schema_version":"1.0"},"canonical_sha256":"d3e8f8e184bae511ecbdc38a526180721422d2276734441cf3c0a1666c754e62","source":{"kind":"arxiv","id":"2403.06326","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.06326","created_at":"2026-07-05T07:54:22Z"},{"alias_kind":"arxiv_version","alias_value":"2403.06326v1","created_at":"2026-07-05T07:54:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.06326","created_at":"2026-07-05T07:54:22Z"},{"alias_kind":"pith_short_12","alias_value":"2PUPRYMEXLSR","created_at":"2026-07-05T07:54:22Z"},{"alias_kind":"pith_short_16","alias_value":"2PUPRYMEXLSRD3F5","created_at":"2026-07-05T07:54:22Z"},{"alias_kind":"pith_short_8","alias_value":"2PUPRYME","created_at":"2026-07-05T07:54:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:2PUPRYMEXLSRD3F5YOFFEYMAOI","target":"record","payload":{"canonical_record":{"source":{"id":"2403.06326","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-03-10T22:14:54Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"4653427af5c7ac14c1e0fd383c960bee49041c9d12be950a1efbd276176ab49d","abstract_canon_sha256":"f50337edf0a6759bab782190c2af6a80a84ed3555840c53596aad685f6816304"},"schema_version":"1.0"},"canonical_sha256":"d3e8f8e184bae511ecbdc38a526180721422d2276734441cf3c0a1666c754e62","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:54:22.181102Z","signature_b64":"tqEF1WqQYYujutEhN29D3glkSdGADF7NguESBPVrrfyhcpIpHh4nfFnflJb/i/3YnM4FPtQkfrafqzf7RgBhCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d3e8f8e184bae511ecbdc38a526180721422d2276734441cf3c0a1666c754e62","last_reissued_at":"2026-07-05T07:54:22.180709Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:54:22.180709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.06326","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-05T07:54:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7w9xDOGPcgsuKptaxkS2D2gv3FV+ewqBePf4HDol0Wv6p5rqGk3wLpJj1knix0vhJvq+8Sv+p+2KAhCWey/2CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-14T23:04:27.669784Z"},"content_sha256":"4f615f5fa929bd2582814778bef2f9c7e8ecf9092636e2a125b021ef04475cbc","schema_version":"1.0","event_id":"sha256:4f615f5fa929bd2582814778bef2f9c7e8ecf9092636e2a125b021ef04475cbc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:2PUPRYMEXLSRD3F5YOFFEYMAOI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From Instructions to Constraints: Language Model Alignment with Automatic Constraint Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.CL","authors_text":"Bonan Min, Chao Shang, Dan Roth, Fei Wang, Qiang Ning, Sarthak Jain, Shuai Wang, Vittorio Castelli, Yassine Benajiba","submitted_at":"2024-03-10T22:14:54Z","abstract_excerpt":"User alignment is crucial for adapting general-purpose language models (LMs) to downstream tasks, but human annotations are often not available for all types of instructions, especially those with customized constraints. We observe that user instructions typically contain constraints. While assessing response quality in terms of the whole instruction is often costly, efficiently evaluating the satisfaction rate of constraints is feasible. We investigate common constraints in NLP tasks, categorize them into three classes based on the types of their arguments, and propose a unified framework, AC"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.06326","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/2403.06326/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-05T07:54:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PU5hGGOjJlYh6MBmauzklzNEVi08cEhFTwWE7fumjbdm3V8DhOz+vuwwwwHYwNmvaTuLWyPhQ8TAskLW74pcCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-14T23:04:27.670162Z"},"content_sha256":"be158f710fe966c1b7cef2b69a750a77f6826eee7a60f5c5db320ccbdb6ca58f","schema_version":"1.0","event_id":"sha256:be158f710fe966c1b7cef2b69a750a77f6826eee7a60f5c5db320ccbdb6ca58f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2PUPRYMEXLSRD3F5YOFFEYMAOI/bundle.json","state_url":"https://pith.science/pith/2PUPRYMEXLSRD3F5YOFFEYMAOI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2PUPRYMEXLSRD3F5YOFFEYMAOI/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-07-14T23:04:27Z","links":{"resolver":"https://pith.science/pith/2PUPRYMEXLSRD3F5YOFFEYMAOI","bundle":"https://pith.science/pith/2PUPRYMEXLSRD3F5YOFFEYMAOI/bundle.json","state":"https://pith.science/pith/2PUPRYMEXLSRD3F5YOFFEYMAOI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2PUPRYMEXLSRD3F5YOFFEYMAOI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:2PUPRYMEXLSRD3F5YOFFEYMAOI","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":"f50337edf0a6759bab782190c2af6a80a84ed3555840c53596aad685f6816304","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-03-10T22:14:54Z","title_canon_sha256":"4653427af5c7ac14c1e0fd383c960bee49041c9d12be950a1efbd276176ab49d"},"schema_version":"1.0","source":{"id":"2403.06326","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.06326","created_at":"2026-07-05T07:54:22Z"},{"alias_kind":"arxiv_version","alias_value":"2403.06326v1","created_at":"2026-07-05T07:54:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.06326","created_at":"2026-07-05T07:54:22Z"},{"alias_kind":"pith_short_12","alias_value":"2PUPRYMEXLSR","created_at":"2026-07-05T07:54:22Z"},{"alias_kind":"pith_short_16","alias_value":"2PUPRYMEXLSRD3F5","created_at":"2026-07-05T07:54:22Z"},{"alias_kind":"pith_short_8","alias_value":"2PUPRYME","created_at":"2026-07-05T07:54:22Z"}],"graph_snapshots":[{"event_id":"sha256:be158f710fe966c1b7cef2b69a750a77f6826eee7a60f5c5db320ccbdb6ca58f","target":"graph","created_at":"2026-07-05T07:54:22Z","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/2403.06326/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"User alignment is crucial for adapting general-purpose language models (LMs) to downstream tasks, but human annotations are often not available for all types of instructions, especially those with customized constraints. We observe that user instructions typically contain constraints. While assessing response quality in terms of the whole instruction is often costly, efficiently evaluating the satisfaction rate of constraints is feasible. We investigate common constraints in NLP tasks, categorize them into three classes based on the types of their arguments, and propose a unified framework, AC","authors_text":"Bonan Min, Chao Shang, Dan Roth, Fei Wang, Qiang Ning, Sarthak Jain, Shuai Wang, Vittorio Castelli, Yassine Benajiba","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-03-10T22:14:54Z","title":"From Instructions to Constraints: Language Model Alignment with Automatic Constraint Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.06326","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:4f615f5fa929bd2582814778bef2f9c7e8ecf9092636e2a125b021ef04475cbc","target":"record","created_at":"2026-07-05T07:54:22Z","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":"f50337edf0a6759bab782190c2af6a80a84ed3555840c53596aad685f6816304","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-03-10T22:14:54Z","title_canon_sha256":"4653427af5c7ac14c1e0fd383c960bee49041c9d12be950a1efbd276176ab49d"},"schema_version":"1.0","source":{"id":"2403.06326","kind":"arxiv","version":1}},"canonical_sha256":"d3e8f8e184bae511ecbdc38a526180721422d2276734441cf3c0a1666c754e62","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d3e8f8e184bae511ecbdc38a526180721422d2276734441cf3c0a1666c754e62","first_computed_at":"2026-07-05T07:54:22.180709Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:54:22.180709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tqEF1WqQYYujutEhN29D3glkSdGADF7NguESBPVrrfyhcpIpHh4nfFnflJb/i/3YnM4FPtQkfrafqzf7RgBhCg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:54:22.181102Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.06326","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f615f5fa929bd2582814778bef2f9c7e8ecf9092636e2a125b021ef04475cbc","sha256:be158f710fe966c1b7cef2b69a750a77f6826eee7a60f5c5db320ccbdb6ca58f"],"state_sha256":"000d96a84b870c62da5b57cea4050040e0abaf161d3db8aa65448e1f12aaca03"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2ARZUpUwZW/tZDZkvCYT7pM50RM8wS98Fwxp/mKODNXIDVwVsxxiz6Tj8Veyyepz4SzxSJuA75drDv+5aXdmCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-14T23:04:27.672603Z","bundle_sha256":"56eb122f9f025fb8f846f17d70a6a3c1458e1be0c0530ae75c76e4c00d51f89b"}}