{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:FBTYKQDOZS22DFECBIEGBCGLJH","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":"c85160662a3de3cb119ccc3ecdae0c3aad7d1940e0ecf643e0a8d1e4c0fcdcd3","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2013-03-18T09:34:10Z","title_canon_sha256":"3d60004f945f218f357146b69bb6356faae49f7e66655f3a1273532c17d59b7b"},"schema_version":"1.0","source":{"id":"1303.4194","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.4194","created_at":"2026-05-18T03:25:24Z"},{"alias_kind":"arxiv_version","alias_value":"1303.4194v3","created_at":"2026-05-18T03:25:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.4194","created_at":"2026-05-18T03:25:24Z"},{"alias_kind":"pith_short_12","alias_value":"FBTYKQDOZS22","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"FBTYKQDOZS22DFEC","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"FBTYKQDO","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:d4a1eccd46928ee685c09d15ac1db005bfb0263537f7e796e1822206f6f4e2dd","target":"graph","created_at":"2026-05-18T03:25:24Z","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 ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics' theoretical results, to aid in discovering new results, and to foster interest in formal methods, i.e. computer-aided reasoning, within economics. To formal methods, we seek to contribute user experience feedback from new audiences, as well as new challenge problems. In the first project year, we continued earlier game theory studies but then focused on auctions, where we are building a toolbox of formalisations, and have started to study matching and financial risk.\n  In parall","authors_text":"Christoph Lange, Colin Rowat, Manfred Kerber","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2013-03-18T09:34:10Z","title":"The ForMaRE Project - Formal Mathematical Reasoning in Economics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.4194","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:5b34900927e48bab2240bf3ab7f6d2d1fb294927e51237e85ad17b4c74ebc69b","target":"record","created_at":"2026-05-18T03:25:24Z","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":"c85160662a3de3cb119ccc3ecdae0c3aad7d1940e0ecf643e0a8d1e4c0fcdcd3","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2013-03-18T09:34:10Z","title_canon_sha256":"3d60004f945f218f357146b69bb6356faae49f7e66655f3a1273532c17d59b7b"},"schema_version":"1.0","source":{"id":"1303.4194","kind":"arxiv","version":3}},"canonical_sha256":"286785406eccb5a194820a086088cb49d87ceb4f5c5b5f55358cac5dac88cb88","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"286785406eccb5a194820a086088cb49d87ceb4f5c5b5f55358cac5dac88cb88","first_computed_at":"2026-05-18T03:25:24.856483Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:25:24.856483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wK/Mm8JkU5qDKkP9UitAg1nRGsJzEylx8PlNGb3mZU0j7La7EgopztZiItKTsB+P/KdOnlbIlQAPO6by2CguAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:25:24.857089Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.4194","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5b34900927e48bab2240bf3ab7f6d2d1fb294927e51237e85ad17b4c74ebc69b","sha256:d4a1eccd46928ee685c09d15ac1db005bfb0263537f7e796e1822206f6f4e2dd"],"state_sha256":"6306ee78a64403769c47f90821d20975ab0b8523a09c6cdf94d5950a7e8e96eb"}