{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:4JGGLXTQUTFW2DJRJLYJW55K2P","short_pith_number":"pith:4JGGLXTQ","canonical_record":{"source":{"id":"2410.13224","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-17T05:10:12Z","cross_cats_sorted":[],"title_canon_sha256":"cb37a22614d94726641eeb71ba18dcb0b86cfdef01b47bd184e2149e638c046e","abstract_canon_sha256":"00b5e27d21023784979d9347f948e75470c2359c0083b109550a4cc985f2ba9a"},"schema_version":"1.0"},"canonical_sha256":"e24c65de70a4cb6d0d314af09b77aad3ff38391a7684fc76497eab4c9ee0bae1","source":{"kind":"arxiv","id":"2410.13224","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.13224","created_at":"2026-07-05T09:21:57Z"},{"alias_kind":"arxiv_version","alias_value":"2410.13224v1","created_at":"2026-07-05T09:21:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.13224","created_at":"2026-07-05T09:21:57Z"},{"alias_kind":"pith_short_12","alias_value":"4JGGLXTQUTFW","created_at":"2026-07-05T09:21:57Z"},{"alias_kind":"pith_short_16","alias_value":"4JGGLXTQUTFW2DJR","created_at":"2026-07-05T09:21:57Z"},{"alias_kind":"pith_short_8","alias_value":"4JGGLXTQ","created_at":"2026-07-05T09:21:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:4JGGLXTQUTFW2DJRJLYJW55K2P","target":"record","payload":{"canonical_record":{"source":{"id":"2410.13224","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-17T05:10:12Z","cross_cats_sorted":[],"title_canon_sha256":"cb37a22614d94726641eeb71ba18dcb0b86cfdef01b47bd184e2149e638c046e","abstract_canon_sha256":"00b5e27d21023784979d9347f948e75470c2359c0083b109550a4cc985f2ba9a"},"schema_version":"1.0"},"canonical_sha256":"e24c65de70a4cb6d0d314af09b77aad3ff38391a7684fc76497eab4c9ee0bae1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:21:57.389462Z","signature_b64":"TazbrPkND4smEO8Y1btlDSHBW8kLuvSVcbUuRQkiFrldkfMVPOmwm0Xw/5c2HjTrRhIWFK4sBNOiEXI39/TxBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e24c65de70a4cb6d0d314af09b77aad3ff38391a7684fc76497eab4c9ee0bae1","last_reissued_at":"2026-07-05T09:21:57.388903Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:21:57.388903Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.13224","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:21:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4uR6xjJgbGEC4PXloluNqSr12R3rSlZfscyIIJDGsymaHylUMbqFSLT5dDcI3Iey6lLHaP90hwL4Kr9C/3NZCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:35:36.853813Z"},"content_sha256":"39868c6ee93f21b63e9846f68464bca936656325c7422a55d5bab1b1488c73d7","schema_version":"1.0","event_id":"sha256:39868c6ee93f21b63e9846f68464bca936656325c7422a55d5bab1b1488c73d7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:4JGGLXTQUTFW2DJRJLYJW55K2P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Edwin Zhang, Matthew Ho, Moksh Jain, Nikolay Malkin, Vincent Zhu, Xiaoyin Chen","submitted_at":"2024-10-17T05:10:12Z","abstract_excerpt":"Reasoning is a fundamental substrate for solving novel and complex problems. Deliberate efforts in learning and developing frameworks around System 2 reasoning have made great strides, yet problems of sufficient complexity remain largely out of reach for open models. To address this gap, we examine the potential of Generative Flow Networks as a fine-tuning method for LLMs to unlock advanced reasoning capabilities. In this paper, we present a proof of concept in the domain of formal reasoning, specifically in the Neural Theorem Proving (NTP) setting, where proofs specified in a formal language "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.13224","kind":"arxiv","version":1},"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/2410.13224/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:21:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6B3mz0NbfIhxSJmvbr/I7cKPR/SINP8qNlYVYhb2KzM0Q8v1FkXks+aXBI1snUK++8FJffHGWxu+CTsq+6XwDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:35:36.854310Z"},"content_sha256":"de8bc927dee0be06f91e8c9bccc7b19c4894ece950248ae719f6526fa15ca56f","schema_version":"1.0","event_id":"sha256:de8bc927dee0be06f91e8c9bccc7b19c4894ece950248ae719f6526fa15ca56f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4JGGLXTQUTFW2DJRJLYJW55K2P/bundle.json","state_url":"https://pith.science/pith/4JGGLXTQUTFW2DJRJLYJW55K2P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4JGGLXTQUTFW2DJRJLYJW55K2P/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-03T22:35:36Z","links":{"resolver":"https://pith.science/pith/4JGGLXTQUTFW2DJRJLYJW55K2P","bundle":"https://pith.science/pith/4JGGLXTQUTFW2DJRJLYJW55K2P/bundle.json","state":"https://pith.science/pith/4JGGLXTQUTFW2DJRJLYJW55K2P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4JGGLXTQUTFW2DJRJLYJW55K2P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:4JGGLXTQUTFW2DJRJLYJW55K2P","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":"00b5e27d21023784979d9347f948e75470c2359c0083b109550a4cc985f2ba9a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-17T05:10:12Z","title_canon_sha256":"cb37a22614d94726641eeb71ba18dcb0b86cfdef01b47bd184e2149e638c046e"},"schema_version":"1.0","source":{"id":"2410.13224","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.13224","created_at":"2026-07-05T09:21:57Z"},{"alias_kind":"arxiv_version","alias_value":"2410.13224v1","created_at":"2026-07-05T09:21:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.13224","created_at":"2026-07-05T09:21:57Z"},{"alias_kind":"pith_short_12","alias_value":"4JGGLXTQUTFW","created_at":"2026-07-05T09:21:57Z"},{"alias_kind":"pith_short_16","alias_value":"4JGGLXTQUTFW2DJR","created_at":"2026-07-05T09:21:57Z"},{"alias_kind":"pith_short_8","alias_value":"4JGGLXTQ","created_at":"2026-07-05T09:21:57Z"}],"graph_snapshots":[{"event_id":"sha256:de8bc927dee0be06f91e8c9bccc7b19c4894ece950248ae719f6526fa15ca56f","target":"graph","created_at":"2026-07-05T09:21:57Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2410.13224/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reasoning is a fundamental substrate for solving novel and complex problems. Deliberate efforts in learning and developing frameworks around System 2 reasoning have made great strides, yet problems of sufficient complexity remain largely out of reach for open models. To address this gap, we examine the potential of Generative Flow Networks as a fine-tuning method for LLMs to unlock advanced reasoning capabilities. In this paper, we present a proof of concept in the domain of formal reasoning, specifically in the Neural Theorem Proving (NTP) setting, where proofs specified in a formal language ","authors_text":"Edwin Zhang, Matthew Ho, Moksh Jain, Nikolay Malkin, Vincent Zhu, Xiaoyin Chen","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-17T05:10:12Z","title":"Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.13224","kind":"arxiv","version":1},"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:39868c6ee93f21b63e9846f68464bca936656325c7422a55d5bab1b1488c73d7","target":"record","created_at":"2026-07-05T09:21:57Z","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":"00b5e27d21023784979d9347f948e75470c2359c0083b109550a4cc985f2ba9a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-17T05:10:12Z","title_canon_sha256":"cb37a22614d94726641eeb71ba18dcb0b86cfdef01b47bd184e2149e638c046e"},"schema_version":"1.0","source":{"id":"2410.13224","kind":"arxiv","version":1}},"canonical_sha256":"e24c65de70a4cb6d0d314af09b77aad3ff38391a7684fc76497eab4c9ee0bae1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e24c65de70a4cb6d0d314af09b77aad3ff38391a7684fc76497eab4c9ee0bae1","first_computed_at":"2026-07-05T09:21:57.388903Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:21:57.388903Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TazbrPkND4smEO8Y1btlDSHBW8kLuvSVcbUuRQkiFrldkfMVPOmwm0Xw/5c2HjTrRhIWFK4sBNOiEXI39/TxBA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:21:57.389462Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.13224","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:39868c6ee93f21b63e9846f68464bca936656325c7422a55d5bab1b1488c73d7","sha256:de8bc927dee0be06f91e8c9bccc7b19c4894ece950248ae719f6526fa15ca56f"],"state_sha256":"13e5f03335ab63b24b3ef28e161fdad8780aaba876e4a0ec3b2715867c03b396"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ck6vAllggsU8UhDSr13q8SMQlH45ciuXhQ06Pv94M7SqAJhUNAu1IWAhI5KMeXZ1v2nMJ4QwsfxtgwOIFqqQCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T22:35:36.857869Z","bundle_sha256":"b38ecc8a291db6be9e38a33b0b3f9fa117d6b7bf9627c1bafefd3603759bf4a0"}}