{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:DAEGA3QJ6CS3OHNB2ITMLKCB46","short_pith_number":"pith:DAEGA3QJ","canonical_record":{"source":{"id":"2506.22365","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-27T16:26:29Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"874931330f9c2348d9a1f5d1221dee93382298b7658f506c2295fc549d533847","abstract_canon_sha256":"1c45fbdacb2db9a04beb421f0e14636a2276aaed73b7f83c4dd2821c70d97ec7"},"schema_version":"1.0"},"canonical_sha256":"1808606e09f0a5b71da1d226c5a841e78f5af835439c75a3d30b632ea6ed87e5","source":{"kind":"arxiv","id":"2506.22365","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.22365","created_at":"2026-07-05T11:28:26Z"},{"alias_kind":"arxiv_version","alias_value":"2506.22365v1","created_at":"2026-07-05T11:28:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.22365","created_at":"2026-07-05T11:28:26Z"},{"alias_kind":"pith_short_12","alias_value":"DAEGA3QJ6CS3","created_at":"2026-07-05T11:28:26Z"},{"alias_kind":"pith_short_16","alias_value":"DAEGA3QJ6CS3OHNB","created_at":"2026-07-05T11:28:26Z"},{"alias_kind":"pith_short_8","alias_value":"DAEGA3QJ","created_at":"2026-07-05T11:28:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:DAEGA3QJ6CS3OHNB2ITMLKCB46","target":"record","payload":{"canonical_record":{"source":{"id":"2506.22365","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-27T16:26:29Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"874931330f9c2348d9a1f5d1221dee93382298b7658f506c2295fc549d533847","abstract_canon_sha256":"1c45fbdacb2db9a04beb421f0e14636a2276aaed73b7f83c4dd2821c70d97ec7"},"schema_version":"1.0"},"canonical_sha256":"1808606e09f0a5b71da1d226c5a841e78f5af835439c75a3d30b632ea6ed87e5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:28:26.110151Z","signature_b64":"YDRS3HM3RO+iJKLZeX/TWunCD71y9/QRYKJ/I1mW39vrgLUrMa+St+ZWD31GaKKAPANSgblYC9KP4Y2J2acODw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1808606e09f0a5b71da1d226c5a841e78f5af835439c75a3d30b632ea6ed87e5","last_reissued_at":"2026-07-05T11:28:26.109648Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:28:26.109648Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.22365","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-05T11:28:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YO+39I1i9u3zSfqHZpquVAWXMaA7abkJ/KoHGOGvtOUPpnzTrXxKS4jXjE+K2hTv0LQoxPCIai75wBUWSRfyAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T19:29:14.673451Z"},"content_sha256":"299ca11ee02dccc419baa1ffc89971eaa4cf3942ddedafd7f53a6e780c82f207","schema_version":"1.0","event_id":"sha256:299ca11ee02dccc419baa1ffc89971eaa4cf3942ddedafd7f53a6e780c82f207"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:DAEGA3QJ6CS3OHNB2ITMLKCB46","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reinforcement Learning with Physics-Informed Symbolic Program Priors for Zero-Shot Wireless Indoor Navigation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.LG","authors_text":"Haozhe Lei, Mingsheng Yin, Tao Li, Yaqi Hu","submitted_at":"2025-06-27T16:26:29Z","abstract_excerpt":"When using reinforcement learning (RL) to tackle physical control tasks, inductive biases that encode physics priors can help improve sample efficiency during training and enhance generalization in testing. However, the current practice of incorporating these helpful physics-informed inductive biases inevitably runs into significant manual labor and domain expertise, making them prohibitive for general users. This work explores a symbolic approach to distill physics-informed inductive biases into RL agents, where the physics priors are expressed in a domain-specific language (DSL) that is huma"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.22365","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/2506.22365/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-05T11:28:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TDwCwjxDR0be3Am7QESOLhn7h80ED+E6OsPvBjm11/QW7NW9PWZWZN0UIJtMdGoeutDWU+GdbIuQImmZ3It9CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T19:29:14.673822Z"},"content_sha256":"d5d106174b603fcf2e8a85bbd837e244cfb72f61faee7b3b2c1f4cee7cc4767d","schema_version":"1.0","event_id":"sha256:d5d106174b603fcf2e8a85bbd837e244cfb72f61faee7b3b2c1f4cee7cc4767d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DAEGA3QJ6CS3OHNB2ITMLKCB46/bundle.json","state_url":"https://pith.science/pith/DAEGA3QJ6CS3OHNB2ITMLKCB46/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DAEGA3QJ6CS3OHNB2ITMLKCB46/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-09T19:29:14Z","links":{"resolver":"https://pith.science/pith/DAEGA3QJ6CS3OHNB2ITMLKCB46","bundle":"https://pith.science/pith/DAEGA3QJ6CS3OHNB2ITMLKCB46/bundle.json","state":"https://pith.science/pith/DAEGA3QJ6CS3OHNB2ITMLKCB46/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DAEGA3QJ6CS3OHNB2ITMLKCB46/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:DAEGA3QJ6CS3OHNB2ITMLKCB46","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":"1c45fbdacb2db9a04beb421f0e14636a2276aaed73b7f83c4dd2821c70d97ec7","cross_cats_sorted":["cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-27T16:26:29Z","title_canon_sha256":"874931330f9c2348d9a1f5d1221dee93382298b7658f506c2295fc549d533847"},"schema_version":"1.0","source":{"id":"2506.22365","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.22365","created_at":"2026-07-05T11:28:26Z"},{"alias_kind":"arxiv_version","alias_value":"2506.22365v1","created_at":"2026-07-05T11:28:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.22365","created_at":"2026-07-05T11:28:26Z"},{"alias_kind":"pith_short_12","alias_value":"DAEGA3QJ6CS3","created_at":"2026-07-05T11:28:26Z"},{"alias_kind":"pith_short_16","alias_value":"DAEGA3QJ6CS3OHNB","created_at":"2026-07-05T11:28:26Z"},{"alias_kind":"pith_short_8","alias_value":"DAEGA3QJ","created_at":"2026-07-05T11:28:26Z"}],"graph_snapshots":[{"event_id":"sha256:d5d106174b603fcf2e8a85bbd837e244cfb72f61faee7b3b2c1f4cee7cc4767d","target":"graph","created_at":"2026-07-05T11:28:26Z","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/2506.22365/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"When using reinforcement learning (RL) to tackle physical control tasks, inductive biases that encode physics priors can help improve sample efficiency during training and enhance generalization in testing. However, the current practice of incorporating these helpful physics-informed inductive biases inevitably runs into significant manual labor and domain expertise, making them prohibitive for general users. This work explores a symbolic approach to distill physics-informed inductive biases into RL agents, where the physics priors are expressed in a domain-specific language (DSL) that is huma","authors_text":"Haozhe Lei, Mingsheng Yin, Tao Li, Yaqi Hu","cross_cats":["cs.RO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-27T16:26:29Z","title":"Reinforcement Learning with Physics-Informed Symbolic Program Priors for Zero-Shot Wireless Indoor Navigation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.22365","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:299ca11ee02dccc419baa1ffc89971eaa4cf3942ddedafd7f53a6e780c82f207","target":"record","created_at":"2026-07-05T11:28:26Z","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":"1c45fbdacb2db9a04beb421f0e14636a2276aaed73b7f83c4dd2821c70d97ec7","cross_cats_sorted":["cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-27T16:26:29Z","title_canon_sha256":"874931330f9c2348d9a1f5d1221dee93382298b7658f506c2295fc549d533847"},"schema_version":"1.0","source":{"id":"2506.22365","kind":"arxiv","version":1}},"canonical_sha256":"1808606e09f0a5b71da1d226c5a841e78f5af835439c75a3d30b632ea6ed87e5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1808606e09f0a5b71da1d226c5a841e78f5af835439c75a3d30b632ea6ed87e5","first_computed_at":"2026-07-05T11:28:26.109648Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:28:26.109648Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YDRS3HM3RO+iJKLZeX/TWunCD71y9/QRYKJ/I1mW39vrgLUrMa+St+ZWD31GaKKAPANSgblYC9KP4Y2J2acODw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:28:26.110151Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.22365","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:299ca11ee02dccc419baa1ffc89971eaa4cf3942ddedafd7f53a6e780c82f207","sha256:d5d106174b603fcf2e8a85bbd837e244cfb72f61faee7b3b2c1f4cee7cc4767d"],"state_sha256":"e386861a1ec2f719c08bb5f1d05e497ef464f2c96e20d608d987675a474d987c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fr59foudUGAKaF55sX7Gx5lo2L3OGODvQ/T7W7llcRInd8ZhxrljOQ/gmts5ZLpqRn4++PhfyOfJZuSx2bH0Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T19:29:14.675762Z","bundle_sha256":"63f142703e89588ebe6c65dd1dfb7e03f1ed163b7d38cccfe05eb005b22bbe88"}}