{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:PODRK7S5QPWXJHEF3KERS66GTD","short_pith_number":"pith:PODRK7S5","schema_version":"1.0","canonical_sha256":"7b87157e5d83ed749c85da89197bc698ec6af56c5ae66588ba2c2141e6616382","source":{"kind":"arxiv","id":"2202.07577","version":2},"attestation_state":"computed","paper":{"title":"Weighted Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.PL","authors_text":"Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Kevin Batz, Tobias Winkler","submitted_at":"2022-02-15T17:06:43Z","abstract_excerpt":"We study weighted programming, a programming paradigm for specifying mathematical models. More specifically, the weighted programs we investigate are like usual imperative programs with two additional features: (1) nondeterministic branching and (2) weighting execution traces. Weights can be numbers but also other objects like words from an alphabet, polynomials, formal power series, or cardinal numbers. We argue that weighted programming as a paradigm can be used to specify mathematical models beyond probability distributions (as is done in probabilistic programming).\n  We develop weakest-pre"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2202.07577","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2022-02-15T17:06:43Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"d4bb138c738bba9c6f58f2b37a89e92d3a3821ae6b8d6f7279007236b903c85e","abstract_canon_sha256":"333d674e99841a6902fab0d8fe05a58c59f27eb7eb198f65b9428c60d9f46f10"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:10:25.711723Z","signature_b64":"DX6jKXzr3SFohQC1fjh/LQs5zQ+9QVLVV3/8UpLkVDm5p00A7BapqoEI8SojoggeCaYKxE7J4MMrZNbJix+HAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b87157e5d83ed749c85da89197bc698ec6af56c5ae66588ba2c2141e6616382","last_reissued_at":"2026-07-05T04:10:25.711139Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:10:25.711139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Weighted Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.PL","authors_text":"Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Kevin Batz, Tobias Winkler","submitted_at":"2022-02-15T17:06:43Z","abstract_excerpt":"We study weighted programming, a programming paradigm for specifying mathematical models. More specifically, the weighted programs we investigate are like usual imperative programs with two additional features: (1) nondeterministic branching and (2) weighting execution traces. Weights can be numbers but also other objects like words from an alphabet, polynomials, formal power series, or cardinal numbers. We argue that weighted programming as a paradigm can be used to specify mathematical models beyond probability distributions (as is done in probabilistic programming).\n  We develop weakest-pre"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.07577","kind":"arxiv","version":2},"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/2202.07577/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2202.07577","created_at":"2026-07-05T04:10:25.711191+00:00"},{"alias_kind":"arxiv_version","alias_value":"2202.07577v2","created_at":"2026-07-05T04:10:25.711191+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.07577","created_at":"2026-07-05T04:10:25.711191+00:00"},{"alias_kind":"pith_short_12","alias_value":"PODRK7S5QPWX","created_at":"2026-07-05T04:10:25.711191+00:00"},{"alias_kind":"pith_short_16","alias_value":"PODRK7S5QPWXJHEF","created_at":"2026-07-05T04:10:25.711191+00:00"},{"alias_kind":"pith_short_8","alias_value":"PODRK7S5","created_at":"2026-07-05T04:10:25.711191+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PODRK7S5QPWXJHEF3KERS66GTD","json":"https://pith.science/pith/PODRK7S5QPWXJHEF3KERS66GTD.json","graph_json":"https://pith.science/api/pith-number/PODRK7S5QPWXJHEF3KERS66GTD/graph.json","events_json":"https://pith.science/api/pith-number/PODRK7S5QPWXJHEF3KERS66GTD/events.json","paper":"https://pith.science/paper/PODRK7S5"},"agent_actions":{"view_html":"https://pith.science/pith/PODRK7S5QPWXJHEF3KERS66GTD","download_json":"https://pith.science/pith/PODRK7S5QPWXJHEF3KERS66GTD.json","view_paper":"https://pith.science/paper/PODRK7S5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2202.07577&json=true","fetch_graph":"https://pith.science/api/pith-number/PODRK7S5QPWXJHEF3KERS66GTD/graph.json","fetch_events":"https://pith.science/api/pith-number/PODRK7S5QPWXJHEF3KERS66GTD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PODRK7S5QPWXJHEF3KERS66GTD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PODRK7S5QPWXJHEF3KERS66GTD/action/storage_attestation","attest_author":"https://pith.science/pith/PODRK7S5QPWXJHEF3KERS66GTD/action/author_attestation","sign_citation":"https://pith.science/pith/PODRK7S5QPWXJHEF3KERS66GTD/action/citation_signature","submit_replication":"https://pith.science/pith/PODRK7S5QPWXJHEF3KERS66GTD/action/replication_record"}},"created_at":"2026-07-05T04:10:25.711191+00:00","updated_at":"2026-07-05T04:10:25.711191+00:00"}