{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:RJNJ4CZJAU4NBB3D6EPNXQFBCL","short_pith_number":"pith:RJNJ4CZJ","canonical_record":{"source":{"id":"2608.13060","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-08-13T10:23:11Z","cross_cats_sorted":["cs.LG","math.OC","stat.ML"],"title_canon_sha256":"eb3a8dc8846ecbc26cc25cacce31675b0dc1ad70b6da6789c5227d44bcc600c1","abstract_canon_sha256":"7bae35bbd8e2e65a121613db93e3df0964fde018c72486be53ef9d9fd75db054"},"schema_version":"1.0"},"canonical_sha256":"8a5a9e0b290538d08763f11edbc0a112eda6d008739f7e3c2ded1df8ad4e47cc","source":{"kind":"arxiv","id":"2608.13060","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.13060","created_at":"2026-08-14T01:00:15Z"},{"alias_kind":"arxiv_version","alias_value":"2608.13060v1","created_at":"2026-08-14T01:00:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.13060","created_at":"2026-08-14T01:00:15Z"},{"alias_kind":"pith_short_12","alias_value":"RJNJ4CZJAU4N","created_at":"2026-08-14T01:00:15Z"},{"alias_kind":"pith_short_16","alias_value":"RJNJ4CZJAU4NBB3D","created_at":"2026-08-14T01:00:15Z"},{"alias_kind":"pith_short_8","alias_value":"RJNJ4CZJ","created_at":"2026-08-14T01:00:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:RJNJ4CZJAU4NBB3D6EPNXQFBCL","target":"record","payload":{"canonical_record":{"source":{"id":"2608.13060","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-08-13T10:23:11Z","cross_cats_sorted":["cs.LG","math.OC","stat.ML"],"title_canon_sha256":"eb3a8dc8846ecbc26cc25cacce31675b0dc1ad70b6da6789c5227d44bcc600c1","abstract_canon_sha256":"7bae35bbd8e2e65a121613db93e3df0964fde018c72486be53ef9d9fd75db054"},"schema_version":"1.0"},"canonical_sha256":"8a5a9e0b290538d08763f11edbc0a112eda6d008739f7e3c2ded1df8ad4e47cc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-14T01:00:15.008958Z","signature_b64":"WeuOEyQT3Wv2pmhKP6yWSQYfZFtV+tu7Q7biYSw14Mp0eL3ziwl/LjDdWwmiczbLgqL9f8mNHZ93cpWAZwZ1Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8a5a9e0b290538d08763f11edbc0a112eda6d008739f7e3c2ded1df8ad4e47cc","last_reissued_at":"2026-08-14T01:00:15.006876Z","signature_status":"signed_v1","first_computed_at":"2026-08-14T01:00:15.006876Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2608.13060","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-08-14T01:00:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R0DP5vXZVb9KkFE0EXDruenp4DSjCBsNuwXMRFuIe///ErJCpaobeRzDPyuTLj5++kWyzi0eXrazLb5MkC1KAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T10:59:26.777269Z"},"content_sha256":"c4ac68cb11f3fe244213101e9f946293e3e57e224a96f2096b2f7bfccf08faa9","schema_version":"1.0","event_id":"sha256:c4ac68cb11f3fe244213101e9f946293e3e57e224a96f2096b2f7bfccf08faa9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:RJNJ4CZJAU4NBB3D6EPNXQFBCL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VALG: An Agentic System for ML Theory Research","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","math.OC","stat.ML"],"primary_cat":"cs.AI","authors_text":"Dechen Zhang, Difan Zou, Jian Qian, Xingwu Chen, Xinxiang Yin, Xuan Tang","submitted_at":"2026-08-13T10:23:11Z","abstract_excerpt":"Machine learning theory studies learning procedures through mathematical setups in which the data model, training protocol, oracle access, loss, metric, and randomness define the phenomenon that a theorem is meant to explain. Solving an open problem therefore requires the problem formulation, theorem target, and proof mechanism to be developed in concert. Researchers formulate hypotheses, test them through preliminary theoretical or empirical analysis, and refine both assumptions and proofs. We investigate whether this process can be organized as an autonomous agentic workflow for ML theory re"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.13060","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/2608.13060/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-08-14T01:00:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gIOCLV7zA0vAQnr60m/fUDeRSQTs/w1NYpVzQ8wtSKs0e0LwqxKx/bGdbbwznkZE2YL1o1o0gNbWGfQVeZ6RDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T10:59:26.777798Z"},"content_sha256":"7b9f03cd816cca89dcbe338e4560f8a686d6ef6d591d51aa82eb1a2f07d4928b","schema_version":"1.0","event_id":"sha256:7b9f03cd816cca89dcbe338e4560f8a686d6ef6d591d51aa82eb1a2f07d4928b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RJNJ4CZJAU4NBB3D6EPNXQFBCL/bundle.json","state_url":"https://pith.science/pith/RJNJ4CZJAU4NBB3D6EPNXQFBCL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RJNJ4CZJAU4NBB3D6EPNXQFBCL/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-16T10:59:26Z","links":{"resolver":"https://pith.science/pith/RJNJ4CZJAU4NBB3D6EPNXQFBCL","bundle":"https://pith.science/pith/RJNJ4CZJAU4NBB3D6EPNXQFBCL/bundle.json","state":"https://pith.science/pith/RJNJ4CZJAU4NBB3D6EPNXQFBCL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RJNJ4CZJAU4NBB3D6EPNXQFBCL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RJNJ4CZJAU4NBB3D6EPNXQFBCL","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":"7bae35bbd8e2e65a121613db93e3df0964fde018c72486be53ef9d9fd75db054","cross_cats_sorted":["cs.LG","math.OC","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-08-13T10:23:11Z","title_canon_sha256":"eb3a8dc8846ecbc26cc25cacce31675b0dc1ad70b6da6789c5227d44bcc600c1"},"schema_version":"1.0","source":{"id":"2608.13060","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.13060","created_at":"2026-08-14T01:00:15Z"},{"alias_kind":"arxiv_version","alias_value":"2608.13060v1","created_at":"2026-08-14T01:00:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.13060","created_at":"2026-08-14T01:00:15Z"},{"alias_kind":"pith_short_12","alias_value":"RJNJ4CZJAU4N","created_at":"2026-08-14T01:00:15Z"},{"alias_kind":"pith_short_16","alias_value":"RJNJ4CZJAU4NBB3D","created_at":"2026-08-14T01:00:15Z"},{"alias_kind":"pith_short_8","alias_value":"RJNJ4CZJ","created_at":"2026-08-14T01:00:15Z"}],"graph_snapshots":[{"event_id":"sha256:7b9f03cd816cca89dcbe338e4560f8a686d6ef6d591d51aa82eb1a2f07d4928b","target":"graph","created_at":"2026-08-14T01:00:15Z","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/2608.13060/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Machine learning theory studies learning procedures through mathematical setups in which the data model, training protocol, oracle access, loss, metric, and randomness define the phenomenon that a theorem is meant to explain. Solving an open problem therefore requires the problem formulation, theorem target, and proof mechanism to be developed in concert. Researchers formulate hypotheses, test them through preliminary theoretical or empirical analysis, and refine both assumptions and proofs. We investigate whether this process can be organized as an autonomous agentic workflow for ML theory re","authors_text":"Dechen Zhang, Difan Zou, Jian Qian, Xingwu Chen, Xinxiang Yin, Xuan Tang","cross_cats":["cs.LG","math.OC","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.13060","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:c4ac68cb11f3fe244213101e9f946293e3e57e224a96f2096b2f7bfccf08faa9","target":"record","created_at":"2026-08-14T01:00:15Z","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":"7bae35bbd8e2e65a121613db93e3df0964fde018c72486be53ef9d9fd75db054","cross_cats_sorted":["cs.LG","math.OC","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-08-13T10:23:11Z","title_canon_sha256":"eb3a8dc8846ecbc26cc25cacce31675b0dc1ad70b6da6789c5227d44bcc600c1"},"schema_version":"1.0","source":{"id":"2608.13060","kind":"arxiv","version":1}},"canonical_sha256":"8a5a9e0b290538d08763f11edbc0a112eda6d008739f7e3c2ded1df8ad4e47cc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8a5a9e0b290538d08763f11edbc0a112eda6d008739f7e3c2ded1df8ad4e47cc","first_computed_at":"2026-08-14T01:00:15.006876Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-14T01:00:15.006876Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WeuOEyQT3Wv2pmhKP6yWSQYfZFtV+tu7Q7biYSw14Mp0eL3ziwl/LjDdWwmiczbLgqL9f8mNHZ93cpWAZwZ1Bw==","signature_status":"signed_v1","signed_at":"2026-08-14T01:00:15.008958Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.13060","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c4ac68cb11f3fe244213101e9f946293e3e57e224a96f2096b2f7bfccf08faa9","sha256:7b9f03cd816cca89dcbe338e4560f8a686d6ef6d591d51aa82eb1a2f07d4928b"],"state_sha256":"d6e5b5713fa3f21ffd290b674931fb00bd63b34c2e7cf3145d62b5aff1f5a9c1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fiiVTR1WIbkWdweWOZSFqAAzW4+6/a0dB1OYNP3nmCViSmFm3hHDNgdT9zL7MTGxFqzUAETtVUNH0XfpEcNNBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T10:59:26.781867Z","bundle_sha256":"ced1e9082e6451c33c68a5ea9914da3edb9fe09c2a83aee847617de42baef48b"}}