{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:2WDZQKOHRO4FMOP5NSG2L6TWM5","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":"eea89184864e137d70fc6015b1a0a704848a596749f3f547d1e4a877074acfe3","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-25T21:00:20Z","title_canon_sha256":"28bb20597b332eb490e0e705afdab3ee266502e2726bf762f6c56eeccad1ea8b"},"schema_version":"1.0","source":{"id":"2504.18693","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.18693","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"arxiv_version","alias_value":"2504.18693v1","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.18693","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"pith_short_12","alias_value":"2WDZQKOHRO4F","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"pith_short_16","alias_value":"2WDZQKOHRO4FMOP5","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"pith_short_8","alias_value":"2WDZQKOH","created_at":"2026-07-05T10:54:19Z"}],"graph_snapshots":[{"event_id":"sha256:a4eea6a918ed82d438a5d1ec9023587d749239b280a9ac4ca5ea69be35926094","target":"graph","created_at":"2026-07-05T10:54:19Z","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.18693/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As the US tax law evolves to adapt to ever-changing politico-economic realities, tax preparation software plays a significant role in helping taxpayers navigate these complexities. The dynamic nature of tax regulations poses a significant challenge to accurately and timely maintaining tax software artifacts. The state-of-the-art in maintaining tax prep software is time-consuming and error-prone as it involves manual code analysis combined with an expert interpretation of tax law amendments. We posit that the rigor and formality of tax amendment language, as expressed in IRS publications, makes","authors_text":"Ashutosh Trivedi, Nina Olson, Saeid Tizpaz-Niari, Sina Gogani-Khiabani, Varsha Dewangan","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-25T21:00:20Z","title":"Technical Challenges in Maintaining Tax Prep Software with Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.18693","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:331ce7be3b27406872f1585f20e420483dd3f28247b005381c975d818e286759","target":"record","created_at":"2026-07-05T10:54:19Z","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":"eea89184864e137d70fc6015b1a0a704848a596749f3f547d1e4a877074acfe3","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-25T21:00:20Z","title_canon_sha256":"28bb20597b332eb490e0e705afdab3ee266502e2726bf762f6c56eeccad1ea8b"},"schema_version":"1.0","source":{"id":"2504.18693","kind":"arxiv","version":1}},"canonical_sha256":"d5879829c78bb85639fd6c8da5fa766769543b95323b022d27acfc0b05a445dd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d5879829c78bb85639fd6c8da5fa766769543b95323b022d27acfc0b05a445dd","first_computed_at":"2026-07-05T10:54:19.268569Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:54:19.268569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7YvsURUzDL7xmE8LvVacllRGblzBaVeo7VZ52+4hxItu1YDBjZURGTn+lxSJb5fkIvVCgDkXa2eLxeBuWr52DA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:54:19.269061Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.18693","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:331ce7be3b27406872f1585f20e420483dd3f28247b005381c975d818e286759","sha256:a4eea6a918ed82d438a5d1ec9023587d749239b280a9ac4ca5ea69be35926094"],"state_sha256":"d66c8a8becb38ba7501e1c4a04986f1081ecf554071d8617afbce656f9f3ad45"}