{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:SRUVRNC6RJEWJVQHUSRGAOLMOB","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":"9a3db6e66218976e6b6df72d6b482eef2a3524effe7ff138bbde9a469dc1f6de","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-13T07:44:08Z","title_canon_sha256":"a39cf0d0305cad2b2f5645cda5dcc2458d2a02bf060954ba8018a5768178bf8d"},"schema_version":"1.0","source":{"id":"2607.11193","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.11193","created_at":"2026-07-14T01:22:21Z"},{"alias_kind":"arxiv_version","alias_value":"2607.11193v1","created_at":"2026-07-14T01:22:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.11193","created_at":"2026-07-14T01:22:21Z"},{"alias_kind":"pith_short_12","alias_value":"SRUVRNC6RJEW","created_at":"2026-07-14T01:22:21Z"},{"alias_kind":"pith_short_16","alias_value":"SRUVRNC6RJEWJVQH","created_at":"2026-07-14T01:22:21Z"},{"alias_kind":"pith_short_8","alias_value":"SRUVRNC6","created_at":"2026-07-14T01:22:21Z"}],"graph_snapshots":[{"event_id":"sha256:d88c17969b2eb02415e0289dc9e70158cc65e78f0bed7dbdb5ac3e03dba8379f","target":"graph","created_at":"2026-07-14T01:22:21Z","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.11193/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"To ensure the overall quality of AI-enabled software, not only traditional software components but also AI components need to be tested and repaired. Among AI components, Transformer models are increasingly integrated into software systems, which makes their misbehaviors critical. Although prior work in the software engineering community has proposed deep neural network (DNN) repair methods, most overlook Transformer-specific structures. We propose RepTran, a search-based repair method for Transformer models. It targets their feed-forward networks (FFNs), which play a central role in the archi","authors_text":"Fuyuki Ishikawa, Masanari Kondo, Naoyasu Ubayashi, Paolo Arcaini, Yasutaka Kamei, Yuta Ishimoto","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-13T07:44:08Z","title":"RepTran: Search-Based Repair of Transformer Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.11193","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:e2727d4217d53a4f054b4dea86d772a8b64b7d658a79dadfae6b4658a3e15767","target":"record","created_at":"2026-07-14T01:22:21Z","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":"9a3db6e66218976e6b6df72d6b482eef2a3524effe7ff138bbde9a469dc1f6de","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-13T07:44:08Z","title_canon_sha256":"a39cf0d0305cad2b2f5645cda5dcc2458d2a02bf060954ba8018a5768178bf8d"},"schema_version":"1.0","source":{"id":"2607.11193","kind":"arxiv","version":1}},"canonical_sha256":"946958b45e8a4964d607a4a260396c70555c2b5830851617b04472ecf81e6a2c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"946958b45e8a4964d607a4a260396c70555c2b5830851617b04472ecf81e6a2c","first_computed_at":"2026-07-14T01:22:21.664068Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-14T01:22:21.664068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E9+H+n9iyPwndJympd9piLC26yosGyGzoTelaTUVeBez/MYs5p6dchDH3+y0Ch/tQXImbhWsGyWL5dlyGm9YAQ==","signature_status":"signed_v1","signed_at":"2026-07-14T01:22:21.664926Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.11193","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e2727d4217d53a4f054b4dea86d772a8b64b7d658a79dadfae6b4658a3e15767","sha256:d88c17969b2eb02415e0289dc9e70158cc65e78f0bed7dbdb5ac3e03dba8379f"],"state_sha256":"e976f5921ccd88564ed4aba49395168079ea86dacef08a6c64b3d0a58469570e"}