{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:CA3AQEHAN54K6KACARL77477WQ","short_pith_number":"pith:CA3AQEHA","canonical_record":{"source":{"id":"2505.13652","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-19T18:50:15Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"34e6ec2f5df72071d9f18a32d529c5d99887f72011c6df16b7019a1576ff93f5","abstract_canon_sha256":"6f30ad1c5ebf0a41dde7386807d7189cea36a5c16e9a8ed77596d76dcacb2c8b"},"schema_version":"1.0"},"canonical_sha256":"10360810e06f78af28020457fff3ffb403b04132f13c2e03aaf6499e38c394b6","source":{"kind":"arxiv","id":"2505.13652","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.13652","created_at":"2026-07-05T11:05:49Z"},{"alias_kind":"arxiv_version","alias_value":"2505.13652v1","created_at":"2026-07-05T11:05:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.13652","created_at":"2026-07-05T11:05:49Z"},{"alias_kind":"pith_short_12","alias_value":"CA3AQEHAN54K","created_at":"2026-07-05T11:05:49Z"},{"alias_kind":"pith_short_16","alias_value":"CA3AQEHAN54K6KAC","created_at":"2026-07-05T11:05:49Z"},{"alias_kind":"pith_short_8","alias_value":"CA3AQEHA","created_at":"2026-07-05T11:05:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:CA3AQEHAN54K6KACARL77477WQ","target":"record","payload":{"canonical_record":{"source":{"id":"2505.13652","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-19T18:50:15Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"34e6ec2f5df72071d9f18a32d529c5d99887f72011c6df16b7019a1576ff93f5","abstract_canon_sha256":"6f30ad1c5ebf0a41dde7386807d7189cea36a5c16e9a8ed77596d76dcacb2c8b"},"schema_version":"1.0"},"canonical_sha256":"10360810e06f78af28020457fff3ffb403b04132f13c2e03aaf6499e38c394b6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:05:49.128006Z","signature_b64":"oXq6kbf9+LnN2zia8n/PSL1cy7nGlh0lM/2DSNMGrn3qvBQ4gX5lx2ECoWM1aLAyJxTpqK2BNjeg1H8bSMPVAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"10360810e06f78af28020457fff3ffb403b04132f13c2e03aaf6499e38c394b6","last_reissued_at":"2026-07-05T11:05:49.127525Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:05:49.127525Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.13652","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:05:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G3gVg/4uIDuYS7TScx6hOexhabPWWkW1h93cRd4J2w5VP2qmVX8EDgPYag8/oiQJP8qMRLwvXhaiQmemF9QzBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T17:11:44.625090Z"},"content_sha256":"5c826a1ad17ad6ebaac1aaf37f4e79e8a12809050e61fe82ff9930aef7587db9","schema_version":"1.0","event_id":"sha256:5c826a1ad17ad6ebaac1aaf37f4e79e8a12809050e61fe82ff9930aef7587db9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:CA3AQEHAN54K6KACARL77477WQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Guided Search Strategies in Non-Serializable Environments with Applications to Software Engineering Agents","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.SE","authors_text":"Alexander Golubev, Anton Shevtsov, Boris Yangel, Daria Litvintseva, Filipp Fisin, Ibragim Badertdinov, Karina Zainullina, Maksim Nekrashevich, Maria Trofimova, Sergei Polezhaev, Sergei Skvortsov, Simon Karasik","submitted_at":"2025-05-19T18:50:15Z","abstract_excerpt":"Large language models (LLMs) have recently achieved remarkable results in complex multi-step tasks, such as mathematical reasoning and agentic software engineering. However, they often struggle to maintain consistent performance across multiple solution attempts. One effective approach to narrow the gap between average-case and best-case performance is guided test-time search, which explores multiple solution paths to identify the most promising one. Unfortunately, effective search techniques (e.g. MCTS) are often unsuitable for non-serializable RL environments, such as Docker containers, wher"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.13652","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/2505.13652/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:05:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/a4QyPKXF2GrGVvedlKHKdafeRALuafjYum28xdpTgaZZLViVyoBdde59pwKvIAzAc47jp4c3roGzIchvANCCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T17:11:44.625594Z"},"content_sha256":"a93d379a31319a0e79d0ebe80e651d7fbaa45e60a6a3168d313ebb1f6b32d6a9","schema_version":"1.0","event_id":"sha256:a93d379a31319a0e79d0ebe80e651d7fbaa45e60a6a3168d313ebb1f6b32d6a9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CA3AQEHAN54K6KACARL77477WQ/bundle.json","state_url":"https://pith.science/pith/CA3AQEHAN54K6KACARL77477WQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CA3AQEHAN54K6KACARL77477WQ/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-06T17:11:44Z","links":{"resolver":"https://pith.science/pith/CA3AQEHAN54K6KACARL77477WQ","bundle":"https://pith.science/pith/CA3AQEHAN54K6KACARL77477WQ/bundle.json","state":"https://pith.science/pith/CA3AQEHAN54K6KACARL77477WQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CA3AQEHAN54K6KACARL77477WQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:CA3AQEHAN54K6KACARL77477WQ","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":"6f30ad1c5ebf0a41dde7386807d7189cea36a5c16e9a8ed77596d76dcacb2c8b","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-19T18:50:15Z","title_canon_sha256":"34e6ec2f5df72071d9f18a32d529c5d99887f72011c6df16b7019a1576ff93f5"},"schema_version":"1.0","source":{"id":"2505.13652","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.13652","created_at":"2026-07-05T11:05:49Z"},{"alias_kind":"arxiv_version","alias_value":"2505.13652v1","created_at":"2026-07-05T11:05:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.13652","created_at":"2026-07-05T11:05:49Z"},{"alias_kind":"pith_short_12","alias_value":"CA3AQEHAN54K","created_at":"2026-07-05T11:05:49Z"},{"alias_kind":"pith_short_16","alias_value":"CA3AQEHAN54K6KAC","created_at":"2026-07-05T11:05:49Z"},{"alias_kind":"pith_short_8","alias_value":"CA3AQEHA","created_at":"2026-07-05T11:05:49Z"}],"graph_snapshots":[{"event_id":"sha256:a93d379a31319a0e79d0ebe80e651d7fbaa45e60a6a3168d313ebb1f6b32d6a9","target":"graph","created_at":"2026-07-05T11:05:49Z","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/2505.13652/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) have recently achieved remarkable results in complex multi-step tasks, such as mathematical reasoning and agentic software engineering. However, they often struggle to maintain consistent performance across multiple solution attempts. One effective approach to narrow the gap between average-case and best-case performance is guided test-time search, which explores multiple solution paths to identify the most promising one. Unfortunately, effective search techniques (e.g. MCTS) are often unsuitable for non-serializable RL environments, such as Docker containers, wher","authors_text":"Alexander Golubev, Anton Shevtsov, Boris Yangel, Daria Litvintseva, Filipp Fisin, Ibragim Badertdinov, Karina Zainullina, Maksim Nekrashevich, Maria Trofimova, Sergei Polezhaev, Sergei Skvortsov, Simon Karasik","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-19T18:50:15Z","title":"Guided Search Strategies in Non-Serializable Environments with Applications to Software Engineering Agents"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.13652","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:5c826a1ad17ad6ebaac1aaf37f4e79e8a12809050e61fe82ff9930aef7587db9","target":"record","created_at":"2026-07-05T11:05:49Z","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":"6f30ad1c5ebf0a41dde7386807d7189cea36a5c16e9a8ed77596d76dcacb2c8b","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-19T18:50:15Z","title_canon_sha256":"34e6ec2f5df72071d9f18a32d529c5d99887f72011c6df16b7019a1576ff93f5"},"schema_version":"1.0","source":{"id":"2505.13652","kind":"arxiv","version":1}},"canonical_sha256":"10360810e06f78af28020457fff3ffb403b04132f13c2e03aaf6499e38c394b6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"10360810e06f78af28020457fff3ffb403b04132f13c2e03aaf6499e38c394b6","first_computed_at":"2026-07-05T11:05:49.127525Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:05:49.127525Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oXq6kbf9+LnN2zia8n/PSL1cy7nGlh0lM/2DSNMGrn3qvBQ4gX5lx2ECoWM1aLAyJxTpqK2BNjeg1H8bSMPVAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:05:49.128006Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.13652","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5c826a1ad17ad6ebaac1aaf37f4e79e8a12809050e61fe82ff9930aef7587db9","sha256:a93d379a31319a0e79d0ebe80e651d7fbaa45e60a6a3168d313ebb1f6b32d6a9"],"state_sha256":"962d90ef99c1c8b108e49589c09c011a551b741a470396764b855ce9c07bc8d1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kVy3vZ8VgvTJFdC3QePiWHQDnwlJ7mu0fC/jfuKmo1RJpMSIovbuy+D6l7yTkaiQfhazArDHiRRoipQVMoOcDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T17:11:44.630443Z","bundle_sha256":"c6ab7f67d34c40e580426fdd0372fdcef2045fa82455b6b8413ab1674320623d"}}