{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:DZZKBEJIQCV63N2YIYCRZLLIZC","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":"ae8214cbe4c4a63a5bb77b12bb4807721e02c5770175852cf5e1150b701f12bf","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:51:26Z","title_canon_sha256":"d545159cac44f7ad87a0805400f03d7f2dc14a0507727af2404d52dce35d5721"},"schema_version":"1.0","source":{"id":"1507.03673","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.03673","created_at":"2026-05-18T01:36:41Z"},{"alias_kind":"arxiv_version","alias_value":"1507.03673v2","created_at":"2026-05-18T01:36:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.03673","created_at":"2026-05-18T01:36:41Z"},{"alias_kind":"pith_short_12","alias_value":"DZZKBEJIQCV6","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DZZKBEJIQCV63N2Y","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DZZKBEJI","created_at":"2026-05-18T12:29:17Z"}],"graph_snapshots":[{"event_id":"sha256:2e2d84d5861ee89cd7787e4dd7a52bbccd8a152893079022092050d8f974f6e0","target":"graph","created_at":"2026-05-18T01:36: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":"Real-life conjectures do not come with instructions saying whether they they should be proven or, instead, refuted. Yet, as we now know, in either case the final argument produced had better be not just convincing but actually verifiable in as much detail as our need for eliminating risk might require. For those who do not happen to have direct access to the realm of mathematical truths, the modern field of formalized mathematics has quite a few lessons to contribute, and one might pay heed to what it has to say, for instance, about: the importance of employing proof strategies; the fine contr","authors_text":"Jo\\~ao Marcos","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:51:26Z","title":"Fail better: What formalized math can teach us about learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.03673","kind":"arxiv","version":2},"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:6a44d57bb0c3ee99c5698e4131c7403e5e4c418d6024788b6261ac1366ba7f61","target":"record","created_at":"2026-05-18T01:36: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":"ae8214cbe4c4a63a5bb77b12bb4807721e02c5770175852cf5e1150b701f12bf","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:51:26Z","title_canon_sha256":"d545159cac44f7ad87a0805400f03d7f2dc14a0507727af2404d52dce35d5721"},"schema_version":"1.0","source":{"id":"1507.03673","kind":"arxiv","version":2}},"canonical_sha256":"1e72a0912880abedb75846051cad68c8bb610534d776179353d2f81caf8df103","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1e72a0912880abedb75846051cad68c8bb610534d776179353d2f81caf8df103","first_computed_at":"2026-05-18T01:36:41.504257Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:41.504257Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hsNKK5UUOQEfB0SuUT/sSjcfHn5h3llazAxIe1pIgomgykxrsw1YzGK126h0qhgJa9LZHLqTJmWOJtGMUQgGAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:41.504912Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.03673","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6a44d57bb0c3ee99c5698e4131c7403e5e4c418d6024788b6261ac1366ba7f61","sha256:2e2d84d5861ee89cd7787e4dd7a52bbccd8a152893079022092050d8f974f6e0"],"state_sha256":"e23c5f071e2b85481d80dbc127fb09c6e8b8072046d178a13d5c6b50b933f074"}