{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:VGO62HKNDVM7PVRTQCL3CMYBP3","short_pith_number":"pith:VGO62HKN","canonical_record":{"source":{"id":"2504.11243","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-15T14:43:19Z","cross_cats_sorted":["cs.CL","cs.LG"],"title_canon_sha256":"f9f7ecaf7fcb6c70787356396c98102178e5b566abb5b5926ef0abd3727996f1","abstract_canon_sha256":"4bbf14df6fe1e20abe99405bcdcda8a71f92ae5b9033238923a8ecb82e94b2d4"},"schema_version":"1.0"},"canonical_sha256":"a99ded1d4d1d59f7d6338097b133017ec0b6fa4e77b8aa2117f0b0d82e93e205","source":{"kind":"arxiv","id":"2504.11243","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.11243","created_at":"2026-07-05T10:49:31Z"},{"alias_kind":"arxiv_version","alias_value":"2504.11243v1","created_at":"2026-07-05T10:49:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.11243","created_at":"2026-07-05T10:49:31Z"},{"alias_kind":"pith_short_12","alias_value":"VGO62HKNDVM7","created_at":"2026-07-05T10:49:31Z"},{"alias_kind":"pith_short_16","alias_value":"VGO62HKNDVM7PVRT","created_at":"2026-07-05T10:49:31Z"},{"alias_kind":"pith_short_8","alias_value":"VGO62HKN","created_at":"2026-07-05T10:49:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:VGO62HKNDVM7PVRTQCL3CMYBP3","target":"record","payload":{"canonical_record":{"source":{"id":"2504.11243","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-15T14:43:19Z","cross_cats_sorted":["cs.CL","cs.LG"],"title_canon_sha256":"f9f7ecaf7fcb6c70787356396c98102178e5b566abb5b5926ef0abd3727996f1","abstract_canon_sha256":"4bbf14df6fe1e20abe99405bcdcda8a71f92ae5b9033238923a8ecb82e94b2d4"},"schema_version":"1.0"},"canonical_sha256":"a99ded1d4d1d59f7d6338097b133017ec0b6fa4e77b8aa2117f0b0d82e93e205","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:49:31.048036Z","signature_b64":"yf1fx1Kog12ajzUqB7mOzqYTc5+zY5xPQ19W0l31W42jieWIHZqEXHCAu1WqkCMG6IAl4K1k+8EYfvfvWXw3Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a99ded1d4d1d59f7d6338097b133017ec0b6fa4e77b8aa2117f0b0d82e93e205","last_reissued_at":"2026-07-05T10:49:31.047585Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:49:31.047585Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.11243","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-05T10:49:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A/RBcrAuCFazLpo7Ru8Y4O4bY1XGkRquNezBZQ+n2vzjpbtbkF4AsQMoheAB0b/xI85aVxNFVXQi1RRhk1fMDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:36:18.527419Z"},"content_sha256":"131572f8aa342faff1195cfd9879c40bd56db1508346582a3ce2467270e2ab1e","schema_version":"1.0","event_id":"sha256:131572f8aa342faff1195cfd9879c40bd56db1508346582a3ce2467270e2ab1e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:VGO62HKNDVM7PVRTQCL3CMYBP3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Automated Safety Requirements Derivation Using Agent-based RAG","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.LG"],"primary_cat":"cs.AI","authors_text":"Balahari Vignesh Balu, Florian Geissler, Francesco Carella, Joao-Vitor Zacchi, Josef Jiru, Nuria Mata, Reinhard Stolle","submitted_at":"2025-04-15T14:43:19Z","abstract_excerpt":"We study the automated derivation of safety requirements in a self-driving vehicle use case, leveraging LLMs in combination with agent-based retrieval-augmented generation. Conventional approaches that utilise pre-trained LLMs to assist in safety analyses typically lack domain-specific knowledge. Existing RAG approaches address this issue, yet their performance deteriorates when handling complex queries and it becomes increasingly harder to retrieve the most relevant information. This is particularly relevant for safety-relevant applications. In this paper, we propose the use of agent-based RA"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.11243","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/2504.11243/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-05T10:49:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y3uoOzZfoQ/MN1pLtZxjs5ABrnfIqI8vFw3b0sOjBvKgn6TYEf3lNQte6das0CHAiyMJl7RMYJoNahFkbxxDAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:36:18.527797Z"},"content_sha256":"cf7a43dfa5b8a6aeb67c85a2e808cea411bc78a091ec92340581c51fde223675","schema_version":"1.0","event_id":"sha256:cf7a43dfa5b8a6aeb67c85a2e808cea411bc78a091ec92340581c51fde223675"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VGO62HKNDVM7PVRTQCL3CMYBP3/bundle.json","state_url":"https://pith.science/pith/VGO62HKNDVM7PVRTQCL3CMYBP3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VGO62HKNDVM7PVRTQCL3CMYBP3/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-06T19:36:18Z","links":{"resolver":"https://pith.science/pith/VGO62HKNDVM7PVRTQCL3CMYBP3","bundle":"https://pith.science/pith/VGO62HKNDVM7PVRTQCL3CMYBP3/bundle.json","state":"https://pith.science/pith/VGO62HKNDVM7PVRTQCL3CMYBP3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VGO62HKNDVM7PVRTQCL3CMYBP3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VGO62HKNDVM7PVRTQCL3CMYBP3","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":"4bbf14df6fe1e20abe99405bcdcda8a71f92ae5b9033238923a8ecb82e94b2d4","cross_cats_sorted":["cs.CL","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-15T14:43:19Z","title_canon_sha256":"f9f7ecaf7fcb6c70787356396c98102178e5b566abb5b5926ef0abd3727996f1"},"schema_version":"1.0","source":{"id":"2504.11243","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.11243","created_at":"2026-07-05T10:49:31Z"},{"alias_kind":"arxiv_version","alias_value":"2504.11243v1","created_at":"2026-07-05T10:49:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.11243","created_at":"2026-07-05T10:49:31Z"},{"alias_kind":"pith_short_12","alias_value":"VGO62HKNDVM7","created_at":"2026-07-05T10:49:31Z"},{"alias_kind":"pith_short_16","alias_value":"VGO62HKNDVM7PVRT","created_at":"2026-07-05T10:49:31Z"},{"alias_kind":"pith_short_8","alias_value":"VGO62HKN","created_at":"2026-07-05T10:49:31Z"}],"graph_snapshots":[{"event_id":"sha256:cf7a43dfa5b8a6aeb67c85a2e808cea411bc78a091ec92340581c51fde223675","target":"graph","created_at":"2026-07-05T10:49:31Z","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/2504.11243/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study the automated derivation of safety requirements in a self-driving vehicle use case, leveraging LLMs in combination with agent-based retrieval-augmented generation. Conventional approaches that utilise pre-trained LLMs to assist in safety analyses typically lack domain-specific knowledge. Existing RAG approaches address this issue, yet their performance deteriorates when handling complex queries and it becomes increasingly harder to retrieve the most relevant information. This is particularly relevant for safety-relevant applications. In this paper, we propose the use of agent-based RA","authors_text":"Balahari Vignesh Balu, Florian Geissler, Francesco Carella, Joao-Vitor Zacchi, Josef Jiru, Nuria Mata, Reinhard Stolle","cross_cats":["cs.CL","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-15T14:43:19Z","title":"Towards Automated Safety Requirements Derivation Using Agent-based RAG"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.11243","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:131572f8aa342faff1195cfd9879c40bd56db1508346582a3ce2467270e2ab1e","target":"record","created_at":"2026-07-05T10:49:31Z","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":"4bbf14df6fe1e20abe99405bcdcda8a71f92ae5b9033238923a8ecb82e94b2d4","cross_cats_sorted":["cs.CL","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-15T14:43:19Z","title_canon_sha256":"f9f7ecaf7fcb6c70787356396c98102178e5b566abb5b5926ef0abd3727996f1"},"schema_version":"1.0","source":{"id":"2504.11243","kind":"arxiv","version":1}},"canonical_sha256":"a99ded1d4d1d59f7d6338097b133017ec0b6fa4e77b8aa2117f0b0d82e93e205","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a99ded1d4d1d59f7d6338097b133017ec0b6fa4e77b8aa2117f0b0d82e93e205","first_computed_at":"2026-07-05T10:49:31.047585Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:49:31.047585Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yf1fx1Kog12ajzUqB7mOzqYTc5+zY5xPQ19W0l31W42jieWIHZqEXHCAu1WqkCMG6IAl4K1k+8EYfvfvWXw3Bg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:49:31.048036Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.11243","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:131572f8aa342faff1195cfd9879c40bd56db1508346582a3ce2467270e2ab1e","sha256:cf7a43dfa5b8a6aeb67c85a2e808cea411bc78a091ec92340581c51fde223675"],"state_sha256":"ef25f4a49d5056fc039d2d6dd225ab93abe79e44b6674c230f9dadf1f2d01cd5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3uHtaAXCFrrOGO0rZp4vEu/++Ae2/1UVa3TiNgaciIiMfAmO8/oO8ebIQBOobfu1Lw4Es42v0XKAdJalMY1RBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T19:36:18.529981Z","bundle_sha256":"a0f21537e68b3d8c2b83f4dbcc0fd052628ab6c306f5e64d6ef5adc28a92d598"}}