{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:RIEI6QUBOEG6YLGB4GCV2I5TPF","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":"320621966225c4e9acc97ffe62d2a668534c3c1d37db4e7a6965bd15eeb56b64","cross_cats_sorted":["cs.LO","cs.SC","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-04-25T11:07:05Z","title_canon_sha256":"dec55e272ab2f0ec9023a3fea79ee812f3f80e3f9c828f03a4e980b782b6c4a3"},"schema_version":"1.0","source":{"id":"1604.07201","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.07201","created_at":"2026-05-18T01:04:41Z"},{"alias_kind":"arxiv_version","alias_value":"1604.07201v3","created_at":"2026-05-18T01:04:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.07201","created_at":"2026-05-18T01:04:41Z"},{"alias_kind":"pith_short_12","alias_value":"RIEI6QUBOEG6","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RIEI6QUBOEG6YLGB","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RIEI6QUB","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:970f869827b02f4a0bee3dbe410617d26f2b80ab9f5790f74ce238f18b72a434","target":"graph","created_at":"2026-05-18T01:04:41Z","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"},"paper":{"abstract_excerpt":"The template-based method is one of the most successful approaches to algebraic invariant synthesis. In this method, an algorithm designates a template polynomial p over program variables, generates constraints for p=0 to be an invariant, and solves the generated constraints. However, this approach often suffers from an increasing template size if the degree of a template polynomial is too high.\n  We propose a technique to make template-based methods more efficient. Our technique is based on the following finding: If an algebraic invariant exists, then there is a specific algebraic invariant t","authors_text":"Kensuke Kojima, Kohei Suenaga, Minoru Kinoshita","cross_cats":["cs.LO","cs.SC","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-04-25T11:07:05Z","title":"Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.07201","kind":"arxiv","version":3},"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:46d9137c3b55a892a71948ff959a91e770f72774971b79107da94d54140b6f82","target":"record","created_at":"2026-05-18T01:04:41Z","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":"320621966225c4e9acc97ffe62d2a668534c3c1d37db4e7a6965bd15eeb56b64","cross_cats_sorted":["cs.LO","cs.SC","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-04-25T11:07:05Z","title_canon_sha256":"dec55e272ab2f0ec9023a3fea79ee812f3f80e3f9c828f03a4e980b782b6c4a3"},"schema_version":"1.0","source":{"id":"1604.07201","kind":"arxiv","version":3}},"canonical_sha256":"8a088f4281710dec2cc1e1855d23b37972f71ab4bb36103abf23edad1a8eecbe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8a088f4281710dec2cc1e1855d23b37972f71ab4bb36103abf23edad1a8eecbe","first_computed_at":"2026-05-18T01:04:41.328185Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:41.328185Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FGKy1H3g8G6pkfrr+WQ9h3C+tVPzvr80FXz4INRu8kAaVV7dwdQWpAwaAOeJVKaxlhKsxezJkcu5dqumYRUIDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:41.329327Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.07201","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:46d9137c3b55a892a71948ff959a91e770f72774971b79107da94d54140b6f82","sha256:970f869827b02f4a0bee3dbe410617d26f2b80ab9f5790f74ce238f18b72a434"],"state_sha256":"fef5fcd76ae1a6531bf6cebe2806be67f837d71f449ad11267c8536c4a2a035d"}