{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:UTV2I2Z5DVAGZI2SZS2RPMQMZC","short_pith_number":"pith:UTV2I2Z5","canonical_record":{"source":{"id":"2607.06447","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-07T16:11:30Z","cross_cats_sorted":["cs.CL","cs.MA"],"title_canon_sha256":"dc3193a47b1827120e1095a2fd156dab33b68b2881090029ddf6628924a16f42","abstract_canon_sha256":"099849960d899de0c9003b9950d2d00fefd4489d6d31d16dad191aebe4224391"},"schema_version":"1.0"},"canonical_sha256":"a4eba46b3d1d406ca352ccb517b20cc8a6537b66f8715ee976dbd1f4b61d4e3d","source":{"kind":"arxiv","id":"2607.06447","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.06447","created_at":"2026-07-08T01:19:25Z"},{"alias_kind":"arxiv_version","alias_value":"2607.06447v1","created_at":"2026-07-08T01:19:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.06447","created_at":"2026-07-08T01:19:25Z"},{"alias_kind":"pith_short_12","alias_value":"UTV2I2Z5DVAG","created_at":"2026-07-08T01:19:25Z"},{"alias_kind":"pith_short_16","alias_value":"UTV2I2Z5DVAGZI2S","created_at":"2026-07-08T01:19:25Z"},{"alias_kind":"pith_short_8","alias_value":"UTV2I2Z5","created_at":"2026-07-08T01:19:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:UTV2I2Z5DVAGZI2SZS2RPMQMZC","target":"record","payload":{"canonical_record":{"source":{"id":"2607.06447","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-07T16:11:30Z","cross_cats_sorted":["cs.CL","cs.MA"],"title_canon_sha256":"dc3193a47b1827120e1095a2fd156dab33b68b2881090029ddf6628924a16f42","abstract_canon_sha256":"099849960d899de0c9003b9950d2d00fefd4489d6d31d16dad191aebe4224391"},"schema_version":"1.0"},"canonical_sha256":"a4eba46b3d1d406ca352ccb517b20cc8a6537b66f8715ee976dbd1f4b61d4e3d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-08T01:19:25.553726Z","signature_b64":"2Pu4y0156ZaHzhglVS4xDzec8+7IpLGxA9q92nbnhTOV/U4nYaP5tExT/0d955aFyx4kuElNBhLfizxxCLWbDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a4eba46b3d1d406ca352ccb517b20cc8a6537b66f8715ee976dbd1f4b61d4e3d","last_reissued_at":"2026-07-08T01:19:25.553297Z","signature_status":"signed_v1","first_computed_at":"2026-07-08T01:19:25.553297Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.06447","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-08T01:19:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kwd1BabP0boOUsIQfW2X8dze029cCN3OlsIgu4wNMcZ9/wf+CFYQnJEw9b9BgEJEPhmgtrcxcofQ3woq5lWXAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-19T07:37:52.016578Z"},"content_sha256":"1a831b12023d49b20741d40e0e1d0f2d603ebaf1185d9e1bfb861aa29e08611e","schema_version":"1.0","event_id":"sha256:1a831b12023d49b20741d40e0e1d0f2d603ebaf1185d9e1bfb861aa29e08611e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:UTV2I2Z5DVAGZI2SZS2RPMQMZC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.MA"],"primary_cat":"cs.AI","authors_text":"Bin Dong, Bin Wu, Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Jihao Liu, Leheng Chen, Ronnie Cheng, Shurui Liu, Xiping Zhang, Zeming Sun","submitted_at":"2026-07-07T16:11:30Z","abstract_excerpt":"Recent LLM-based mathematical reasoning agents have begun to tackle research-level problems and, in several cases, have contributed to the resolution of open problems. However, scaling and orchestrating such agents effectively remains challenging, due to the difficulty of coordinating parallel proof search while keeping intermediate claims organized and reliable. In this paper, we propose Danus, an orchestration system for research-level mathematical reasoning centered on a shared fact graph as a global memory-management mechanism. Danus consists of a main agent that performs planning and coor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.06447","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/2607.06447/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-08T01:19:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GOXn9AgZjuD4vSTDO+qSJImu0n/oVBVNv1rkbV0RGjYeCFpUV1JYRv4uFIpxkei+nHXLHlk8mWPKtk7HUU6wAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-19T07:37:52.016958Z"},"content_sha256":"d60a0092bbc0bbc58b4d8ccb727aa68bd029520bd78befbc07faf542fec187ee","schema_version":"1.0","event_id":"sha256:d60a0092bbc0bbc58b4d8ccb727aa68bd029520bd78befbc07faf542fec187ee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UTV2I2Z5DVAGZI2SZS2RPMQMZC/bundle.json","state_url":"https://pith.science/pith/UTV2I2Z5DVAGZI2SZS2RPMQMZC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UTV2I2Z5DVAGZI2SZS2RPMQMZC/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-07-19T07:37:52Z","links":{"resolver":"https://pith.science/pith/UTV2I2Z5DVAGZI2SZS2RPMQMZC","bundle":"https://pith.science/pith/UTV2I2Z5DVAGZI2SZS2RPMQMZC/bundle.json","state":"https://pith.science/pith/UTV2I2Z5DVAGZI2SZS2RPMQMZC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UTV2I2Z5DVAGZI2SZS2RPMQMZC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:UTV2I2Z5DVAGZI2SZS2RPMQMZC","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":"099849960d899de0c9003b9950d2d00fefd4489d6d31d16dad191aebe4224391","cross_cats_sorted":["cs.CL","cs.MA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-07T16:11:30Z","title_canon_sha256":"dc3193a47b1827120e1095a2fd156dab33b68b2881090029ddf6628924a16f42"},"schema_version":"1.0","source":{"id":"2607.06447","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.06447","created_at":"2026-07-08T01:19:25Z"},{"alias_kind":"arxiv_version","alias_value":"2607.06447v1","created_at":"2026-07-08T01:19:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.06447","created_at":"2026-07-08T01:19:25Z"},{"alias_kind":"pith_short_12","alias_value":"UTV2I2Z5DVAG","created_at":"2026-07-08T01:19:25Z"},{"alias_kind":"pith_short_16","alias_value":"UTV2I2Z5DVAGZI2S","created_at":"2026-07-08T01:19:25Z"},{"alias_kind":"pith_short_8","alias_value":"UTV2I2Z5","created_at":"2026-07-08T01:19:25Z"}],"graph_snapshots":[{"event_id":"sha256:d60a0092bbc0bbc58b4d8ccb727aa68bd029520bd78befbc07faf542fec187ee","target":"graph","created_at":"2026-07-08T01:19:25Z","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/2607.06447/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent LLM-based mathematical reasoning agents have begun to tackle research-level problems and, in several cases, have contributed to the resolution of open problems. However, scaling and orchestrating such agents effectively remains challenging, due to the difficulty of coordinating parallel proof search while keeping intermediate claims organized and reliable. In this paper, we propose Danus, an orchestration system for research-level mathematical reasoning centered on a shared fact graph as a global memory-management mechanism. Danus consists of a main agent that performs planning and coor","authors_text":"Bin Dong, Bin Wu, Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Jihao Liu, Leheng Chen, Ronnie Cheng, Shurui Liu, Xiping Zhang, Zeming Sun","cross_cats":["cs.CL","cs.MA"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.06447","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:1a831b12023d49b20741d40e0e1d0f2d603ebaf1185d9e1bfb861aa29e08611e","target":"record","created_at":"2026-07-08T01:19:25Z","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":"099849960d899de0c9003b9950d2d00fefd4489d6d31d16dad191aebe4224391","cross_cats_sorted":["cs.CL","cs.MA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-07T16:11:30Z","title_canon_sha256":"dc3193a47b1827120e1095a2fd156dab33b68b2881090029ddf6628924a16f42"},"schema_version":"1.0","source":{"id":"2607.06447","kind":"arxiv","version":1}},"canonical_sha256":"a4eba46b3d1d406ca352ccb517b20cc8a6537b66f8715ee976dbd1f4b61d4e3d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a4eba46b3d1d406ca352ccb517b20cc8a6537b66f8715ee976dbd1f4b61d4e3d","first_computed_at":"2026-07-08T01:19:25.553297Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-08T01:19:25.553297Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2Pu4y0156ZaHzhglVS4xDzec8+7IpLGxA9q92nbnhTOV/U4nYaP5tExT/0d955aFyx4kuElNBhLfizxxCLWbDQ==","signature_status":"signed_v1","signed_at":"2026-07-08T01:19:25.553726Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.06447","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1a831b12023d49b20741d40e0e1d0f2d603ebaf1185d9e1bfb861aa29e08611e","sha256:d60a0092bbc0bbc58b4d8ccb727aa68bd029520bd78befbc07faf542fec187ee"],"state_sha256":"47569159c37020d1d454ddcd740df9154be79f2a2a85e6e314daf999d094e64d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zmHC18JO1VQQUjOA8/So3XkXasctp6c2AYl4GbwHJmbTQDgrB6KH/ZzpZM2lN0pQFOsZY/dkYMhPAjs/xw3aAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-19T07:37:52.019015Z","bundle_sha256":"6b8bf7f6554213658490b5a43b4a5b264118a248a3fe6d63adc5e974f407857d"}}