{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:SHETYRDWUAI2OU2KD7SLKJX3SR","short_pith_number":"pith:SHETYRDW","schema_version":"1.0","canonical_sha256":"91c93c4476a011a7534a1fe4b526fb9456fa9fb72a0b5773912f461ef3b3fb21","source":{"kind":"arxiv","id":"1903.06089","version":2},"attestation_state":"computed","paper":{"title":"Are My Invariants Valid? A Learning Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Mark Marron, Oleksandr Polozov, Premkumar T. Devanbu, Vincent J. Hellendoorn","submitted_at":"2019-03-14T15:48:13Z","abstract_excerpt":"Ensuring that a program operates correctly is a difficult task in large, complex systems. Enshrining invariants -- desired properties of correct execution -- in code or comments can support maintainability and help sustain correctness. Tools that can automatically infer and recommend invariants can thus be very beneficial. However, current invariant-suggesting tools, such as Daikon, suffer from high rates of false positives, in part because they only leverage traced program values from available test cases, rather than directly exploiting knowledge of the source code per se. We propose a machi"},"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":"1903.06089","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-14T15:48:13Z","cross_cats_sorted":[],"title_canon_sha256":"f529b52a9ee925e585d164b6ba96f830b4c8815137c01a9ff46498ffee9818f4","abstract_canon_sha256":"20aa782fa2a529f941b040d0b0ba1e4f7d4ec06efd71b7421398958597e6e03a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:09.223442Z","signature_b64":"oeBlh+Cl4fljXsP04O7IOMSdK4irenn9GqREH18J/Hkbja9GM3rZPAjeDIsAT/+eiylQT3lf9aps9qZZDCc+Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"91c93c4476a011a7534a1fe4b526fb9456fa9fb72a0b5773912f461ef3b3fb21","last_reissued_at":"2026-05-17T23:51:09.222976Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:09.222976Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Are My Invariants Valid? A Learning Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Mark Marron, Oleksandr Polozov, Premkumar T. Devanbu, Vincent J. Hellendoorn","submitted_at":"2019-03-14T15:48:13Z","abstract_excerpt":"Ensuring that a program operates correctly is a difficult task in large, complex systems. Enshrining invariants -- desired properties of correct execution -- in code or comments can support maintainability and help sustain correctness. Tools that can automatically infer and recommend invariants can thus be very beneficial. However, current invariant-suggesting tools, such as Daikon, suffer from high rates of false positives, in part because they only leverage traced program values from available test cases, rather than directly exploiting knowledge of the source code per se. We propose a machi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.06089","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":""},"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":"1903.06089","created_at":"2026-05-17T23:51:09.223046+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.06089v2","created_at":"2026-05-17T23:51:09.223046+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.06089","created_at":"2026-05-17T23:51:09.223046+00:00"},{"alias_kind":"pith_short_12","alias_value":"SHETYRDWUAI2","created_at":"2026-05-18T12:33:27.125529+00:00"},{"alias_kind":"pith_short_16","alias_value":"SHETYRDWUAI2OU2K","created_at":"2026-05-18T12:33:27.125529+00:00"},{"alias_kind":"pith_short_8","alias_value":"SHETYRDW","created_at":"2026-05-18T12:33:27.125529+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/SHETYRDWUAI2OU2KD7SLKJX3SR","json":"https://pith.science/pith/SHETYRDWUAI2OU2KD7SLKJX3SR.json","graph_json":"https://pith.science/api/pith-number/SHETYRDWUAI2OU2KD7SLKJX3SR/graph.json","events_json":"https://pith.science/api/pith-number/SHETYRDWUAI2OU2KD7SLKJX3SR/events.json","paper":"https://pith.science/paper/SHETYRDW"},"agent_actions":{"view_html":"https://pith.science/pith/SHETYRDWUAI2OU2KD7SLKJX3SR","download_json":"https://pith.science/pith/SHETYRDWUAI2OU2KD7SLKJX3SR.json","view_paper":"https://pith.science/paper/SHETYRDW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.06089&json=true","fetch_graph":"https://pith.science/api/pith-number/SHETYRDWUAI2OU2KD7SLKJX3SR/graph.json","fetch_events":"https://pith.science/api/pith-number/SHETYRDWUAI2OU2KD7SLKJX3SR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SHETYRDWUAI2OU2KD7SLKJX3SR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SHETYRDWUAI2OU2KD7SLKJX3SR/action/storage_attestation","attest_author":"https://pith.science/pith/SHETYRDWUAI2OU2KD7SLKJX3SR/action/author_attestation","sign_citation":"https://pith.science/pith/SHETYRDWUAI2OU2KD7SLKJX3SR/action/citation_signature","submit_replication":"https://pith.science/pith/SHETYRDWUAI2OU2KD7SLKJX3SR/action/replication_record"}},"created_at":"2026-05-17T23:51:09.223046+00:00","updated_at":"2026-05-17T23:51:09.223046+00:00"}