{"as_of":"2026-08-16T22:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2bbce405827da7c7fbb4e83131e5eb419539e5d8fa608dd6039355c7cc453466","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:45:23.941325Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.09759/citation-record","integrity":"/paper/2506.09759/integrity","json":"/paper/2506.09759/citation-record.json","paper":"/paper/2506.09759"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:26.401905Z","title":"Magee and J","venue":null,"work_id":"ec8e33e4-833e-4be9-ad2d-8cb89eee14be","year":2006},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.765439Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:e189c68cd2e49664afd0897c79b1fac71143ec618921f2559215cf4e35f61f66","observation_id":"0c5da360-4bf3-4f2f-8a9d-86fae323e67e","resolution":{"observed_at":"2026-08-07T04:45:26.483685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:26.224219Z","title":"Jackson,Software Abstractions: logic, language, and analysis","venue":null,"work_id":"abd72879-a9e0-4144-9edf-efc260511891","year":2012},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.770133Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:5d20165ebf8681134e83cb10c1bb0a5f39f1876ca8864a84f1836f542543c92b","observation_id":"32340699-3073-4693-8c25-ac48c1bfacd2","resolution":{"observed_at":"2026-08-07T04:45:26.316376Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:26.023833Z","title":"The complexity of social groups and social systems described by graph structures,","venue":null,"work_id":"2685f142-c406-4f09-8d88-f9f72d577f66","year":1980},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.774398Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:11bc8d47223b0013fdf0895efa4438b1b2768a972a8e2260e2e566516e9c755b","observation_id":"b5e99ac2-44c7-453c-b1cf-12482fbdad1e","resolution":{"observed_at":"2026-08-07T04:45:26.127668Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:25.816873Z","title":"Edmonds,Syntactic measures of complexity","venue":null,"work_id":"281549ab-c080-4931-b0ba-9d0f4d928566","year":1999},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.778520Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:d5dd4a088a2ed0846568e12a7b1dd7da2b2df0949acbb5159727ddfefdf1714a","observation_id":"28f90782-5635-4017-ba30-3f014aeb9c1e","resolution":{"observed_at":"2026-08-07T04:45:25.904308Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:23.783471Z","title":"The model checker spin,","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.783471Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:3a928b0ad6862c446b27799a241d12569c4d975e0233a804c4ffeaeead4f8659","observation_id":"f0c83539-3b2f-44e1-8853-78d3d2b1d931","resolution":{"observed_at":"2026-08-07T04:45:23.783471Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.09619","last_updated":"2021-11-18T16:13:36Z","snapshot_observed_at":"2026-08-16T17:52:28.803910Z","submitted_at":"2021-10-18T20:52:38Z","title":"Further Generalizations of the Jaccard Index","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.09619","snapshot_observed_at":"2026-08-07T04:45:23.787887Z","title":"Further generalizations of the jaccard index,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.787887Z"},"links":{"cited_paper":"/paper/2110.09619","citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:56e011e2151863ee263c69e1c028e06f20f4333be1e823cff28d0dad7ecbd30a","observation_id":"c23dd541-1d94-4be6-b53d-9259124ef699","resolution":{"observed_at":"2026-08-07T04:45:23.787887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:25.593405Z","title":"Modularity and community structure in networks,","venue":null,"work_id":"96d716bd-190d-44e8-bf40-941dbbb7e5fa","year":2006},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.792779Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:a9feaa456d0b417ffdaca322c936f37b921116c251e7ae8c027bc0eab33919bc","observation_id":"2ed73d43-b279-4089-86ea-a25b0ddd57c8","resolution":{"observed_at":"2026-08-07T04:45:25.693729Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:25.431451Z","title":"Magee and J","venue":null,"work_id":"83d18511-ccb6-483a-91f4-43030ec9679a","year":2006},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.796838Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:9f8a49b85fd605ae9fed8811627ace507e279724db738a65852954be8ed021bd","observation_id":"5139733d-0988-4c4b-9252-c9ce29f90a15","resolution":{"observed_at":"2026-08-07T04:45:25.502809Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.04823","last_updated":"2022-02-10T04:02:45Z","snapshot_observed_at":"2026-08-16T17:22:22.749813Z","submitted_at":"2022-02-10T04:02:45Z","title":"Decreasing Annotation Burden of Pairwise Comparisons with Human-in-the-Loop Sorting: Application in Medical Image Artifact Rating","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.04823","snapshot_observed_at":"2026-08-07T04:45:23.801016Z","title":"Decreasing annotation burden of pairwise comparisons with human-in-the-loop sorting: Application in medical image artifact rating,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.801016Z"},"links":{"cited_paper":"/paper/2202.04823","citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:83c7abf1c495e84413c28044e9944e5105b9700795fe7dcb5258e8fd0d8caecd","observation_id":"128692af-f9ea-40a5-aebc-8c51fe6ab698","resolution":{"observed_at":"2026-08-07T04:45:23.801016Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:25.301594Z","title":"Mm algorithms for generalized bradley-terry models,","venue":null,"work_id":"3eaa36f3-ed16-47d0-9b78-eb6f982b0a75","year":2004},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.805615Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:60c8ae75d641e4e5d09e93f404f732e520b0542931f42f63c051fb2244fae056","observation_id":"f1724c65-81c9-401f-b82e-ce0e14175d3e","resolution":{"observed_at":"2026-08-07T04:45:25.388147Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:23.809742Z","title":"A new measure of rank correlation,","venue":null,"work_id":null,"year":1938},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.809742Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:9d0bf8f9a9626a90a3d7221048e3d772d4e5ad087d25c7d6ace45790b1d24736","observation_id":"2ba89388-8ef8-4788-b250-2d28b778d12f","resolution":{"observed_at":"2026-08-07T04:45:23.809742Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:25.147803Z","title":"Fortis: A tool for analysis and repair of robust software systems,","venue":null,"work_id":"c7a326c4-44e8-419d-998b-d2106ca83d3e","year":2023},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.814029Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:0d173ad279d4fbdf8c8f0d60e5095d7b4906b98dbd56d56731b9ecde4983f489","observation_id":"6f4b055d-e13f-40cd-891f-11a49996cb6d","resolution":{"observed_at":"2026-08-07T04:45:25.215276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.929686Z","title":"Metric based evaluation and improvement of software designs,","venue":null,"work_id":"8df61b5f-7b73-446e-8761-bc3d1defdc88","year":2021},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.818333Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:59277f2032d5abb567653ee804015eef5e33f908ec4c26710269a1013661715e","observation_id":"1cfdaa04-6d91-4f66-9732-2662dbcb6432","resolution":{"observed_at":"2026-08-07T04:45:25.036341Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.821268Z","title":"Software engineering: a practitioner’s approach,","venue":null,"work_id":"7d9b04d1-06ff-42f2-a4e1-5a99dbcfcdc9","year":2005},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.822410Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:8bbbae07a2054743812a08e609c90bb86eebee3e70c59c7e14d465349acb0429","observation_id":"fd1e6bcd-8b95-4f10-8965-a26e435b0b00","resolution":{"observed_at":"2026-08-07T04:45:24.887337Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.585632Z","title":"Software engineering (ed.),","venue":null,"work_id":"122b83cd-dafd-4bde-a3d4-11792f5bd2a0","year":2011},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.826497Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:08c3bab478fe6d403a51363ee74101e19f90ad54532eb737b407bc347a98a03d","observation_id":"cdeda052-4483-40aa-ad89-faa6f5c979f1","resolution":{"observed_at":"2026-08-07T04:45:24.683392Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.473912Z","title":"Bass,Software architecture in practice","venue":null,"work_id":"d208c0aa-41f7-4044-9c21-92f4e02144ba","year":2012},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.830533Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:17ae7ecffcb961ae31cc77b0fc5cd3a389d378094a301c5b363cf92eaab72a03","observation_id":"a626a8a4-47e8-4cc4-af75-f7763d614606","resolution":{"observed_at":"2026-08-07T04:45:24.516309Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.449922Z","title":"Ieee recommended practice for architectural description of software-intensive systems,","venue":null,"work_id":"0058357c-1da7-4849-859b-07094741af93","year":2000},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.834735Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:54b00409411d0626ed1a83bef523c1d8b3289ce34ab879c1c9f32fcd58c9edb0","observation_id":"fd6dda8b-8c0b-43b4-8694-70cd80cd185d","resolution":{"observed_at":"2026-08-07T04:45:24.459642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.426573Z","title":"Promoting the use of design evaluation techniques within software development,","venue":null,"work_id":"38fb246a-8650-4be9-a531-a3b590690f50","year":2014},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.839400Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:7d656a18fb7b7f863c67c48b445faf2798b17ab1d33b10e759f7dbd4fa7e98e9","observation_id":"65327113-e893-4dc5-9fdd-aea6701d0fef","resolution":{"observed_at":"2026-08-07T04:45:24.435321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.403753Z","title":"Assessing the comprehension of uml class diagrams via eye tracking,","venue":null,"work_id":"055db286-83d6-44be-a9e0-11563adda5a6","year":2007},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.843529Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:0cc065038da2bca923435d39e2dff8f8ad8bb6877cae610ddec55b4f7805c332","observation_id":"2ca00a21-b611-4a34-b31e-2d3829b72764","resolution":{"observed_at":"2026-08-07T04:45:24.413795Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.380594Z","title":"Evaluating the layout quality of uml class diagrams using machine learning,","venue":null,"work_id":"54f3522d-f383-4fa1-b036-9823dc588b05","year":2022},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.847831Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:994adf0572cb8abacf855e94bcca907b37e3f42e509ccb3154db22aefdec430e","observation_id":"3c575ca6-f4e6-4997-a575-d64053f66d7d","resolution":{"observed_at":"2026-08-07T04:45:24.389012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.357703Z","title":"Hart,Investigating user experience and user engagement for design","venue":null,"work_id":"678d84e8-2d37-4326-bab0-c6825fb50a99","year":2015},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.852320Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:d62c2bb37990eee688bbf4ecc7e4bdca8b245ed6c5976d3527f91d465f2d856a","observation_id":"2b74fd4e-f3fe-4076-a14c-24aa149d9538","resolution":{"observed_at":"2026-08-07T04:45:24.365808Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.334232Z","title":"Evaluation of software impact designed for biomedical research: Are we measuring what’s meaningful?","venue":null,"work_id":"ae432637-3032-4cd0-b6bb-ad96d762990b","year":2023},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.856463Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:a7db2271814098ab497fd600eb360de8b4830eb985f4fd5fed111821dbffee60","observation_id":"e135d8e8-214b-42b3-b8a6-1ec326c872b4","resolution":{"observed_at":"2026-08-07T04:45:24.343075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.310881Z","title":"User engagement by user-centred design in e-health,","venue":null,"work_id":"b1c63e07-64cb-43bc-9789-0a1d269a073e","year":1926},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.860710Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:a80b49341347ac1f831a4b947a80fbdaa39e0c8b915201be085963eca15802ae","observation_id":"a4768900-f4ab-4b00-97e3-fb00938ac8fe","resolution":{"observed_at":"2026-08-07T04:45:24.319765Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.291537Z","title":"Participatory design, user involvement and health it evaluation,","venue":null,"work_id":"9d2279e8-c3b9-4ae5-a8dd-a411d654283b","year":2016},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.865281Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:a9d0651f9e95668b838d2defb4ba0382e867f47371bf6e999e0c55179717bf34","observation_id":"3e8de4f8-245d-4865-8d45-a200ca9140dd","resolution":{"observed_at":"2026-08-07T04:45:24.296675Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.277053Z","title":"Evaluating large language models in software design: A comparative analysis of uml class diagram generation,","venue":null,"work_id":"f219f745-6f46-49a3-bdf1-d67a62a54975","year":2024},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.869705Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:c5fb23abc2694afd9b3fbe78b12713d24227f5a2bce10694f11e86fb1015d2fc","observation_id":"242bdf68-f657-4acc-8c10-05d1e2825805","resolution":{"observed_at":"2026-08-07T04:45:24.281743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1301.1638","last_updated":"2013-01-08T19:05:05Z","snapshot_observed_at":"2026-08-15T00:33:23.048162Z","submitted_at":"2013-01-08T19:05:05Z","title":"Three Simulation Algorithms for Labelled Transition Systems","version":1},"cited_work":{"arxiv_id":"1301.1638","doi":null,"metadata_source":"pith","pith_arxiv_id":"1301.1638","snapshot_observed_at":"2026-08-07T04:45:23.980254Z","title":"Three Simulation Algorithms for Labelled Transition Systems","venue":"cs.FL","work_id":"a666380b-e51a-475d-9dad-5e2666c51e6c","year":2013},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.874044Z"},"links":{"cited_paper":"/paper/1301.1638","citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:77b0c5c200f2f520b42f12ad50bf3afc56dc4593b1cc0dd965e49cf7922e0774","observation_id":"db5a96c8-d085-403b-8f70-c15f9c3cc743","resolution":{"observed_at":"2026-08-07T04:45:23.987810Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.262549Z","title":"Approximate analyzing of labeled transition systems,","venue":null,"work_id":"8231b0fc-5cbf-431a-865e-b197a34bc062","year":2015},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.878539Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:fa2ef3d015b9a706056a8155c5daddfaf2660a02e5ab6a586b2264c6d57a9a03","observation_id":"3d4bdd13-c15c-4f17-86af-7380a115c459","resolution":{"observed_at":"2026-08-07T04:45:24.267235Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.247830Z","title":"On the complexity of techniques that make transition systems implementable by boolean nets,","venue":null,"work_id":"8ce492f1-7c16-4ac9-88fa-b5b00e928354","year":2023},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.883027Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:fabffb58a6c479d8eda4f2724b4c54123fdf43c6bc330ae9d093fec4a9694773","observation_id":"8ebdaf20-49a3-4b13-8728-06af4bdf1427","resolution":{"observed_at":"2026-08-07T04:45:24.252284Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.234500Z","title":"Evaluation of mechanism transitions","venue":null,"work_id":"cfb3adee-3df1-4944-a7b9-fcbdca326a51","year":2019},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.887882Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:af606431be591fab66291715e36980d779da8a25274a8ebafe8dabec0d088cb1","observation_id":"9f088b5b-98ea-4786-b8fb-a95b3db3d8a3","resolution":{"observed_at":"2026-08-07T04:45:24.238699Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.220594Z","title":"Labeled transition systems","venue":null,"work_id":"b94ce560-7dd1-419c-b960-c95274bb168e","year":2017},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.891941Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:d8c59b66fd532e905394d08943ab212557735127d3871f7b78f306f3d9ade4a5","observation_id":"3e5ee609-2d82-4620-b085-b136d0945183","resolution":{"observed_at":"2026-08-07T04:45:24.225136Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.206367Z","title":"Detecting community structure in networks,","venue":null,"work_id":"596c4347-2830-4184-b48d-b1637b802ef9","year":2004},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.896124Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:2ab77051fbf58694691c70b6ef730a82406eda6610d9a4b94bae668d2c4a0919","observation_id":"10e6e9d8-ce26-4423-82d6-5e1df0d98e90","resolution":{"observed_at":"2026-08-07T04:45:24.210839Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.191355Z","title":"Enhancing model checking in verification by ai techniques,","venue":null,"work_id":"8e7048c4-6e02-40cb-ace4-58a3431e48df","year":1999},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.900029Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:421b330ef7540052546cffb7763a42068943509c808ce45626e86392a603662e","observation_id":"4dc987b2-4865-44a6-b966-3a8c9f02090e","resolution":{"observed_at":"2026-08-07T04:45:24.195879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.176869Z","title":"System design modification with actions,","venue":null,"work_id":"fbf53342-c7db-4a13-805e-186866918ef3","year":2010},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.904133Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:ccd3ad4131677e524e2b410e7b122bf8505186c976f9905309c2e8c3ac58c4d4","observation_id":"8a9985cf-a48a-48db-a3f8-083345a20681","resolution":{"observed_at":"2026-08-07T04:45:24.181229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.161135Z","title":"Abstract model repair,","venue":null,"work_id":"72c55f36-53d6-48ec-ad4d-9c103358063e","year":2015},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.908286Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:51db749e8b5f8d353e2c3a241f4324dd19a6c796fbf99c987aa8a9681fe61d3c","observation_id":"580e0bbb-78e8-4ac6-94de-45b8ef938dc1","resolution":{"observed_at":"2026-08-07T04:45:24.165481Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.143552Z","title":"Fixing targets and evaluating design alternatives by pairwise comparisons–the compare method,","venue":null,"work_id":"47875125-3956-4ab8-8620-b812706989d7","year":2009},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.912509Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:04308cb44f7396b777cc3e09a0a9455a21a13d6e7af60a9cdca904d3e4dc1fde","observation_id":"ccaf3b66-6795-4253-a283-5a33f27c4af5","resolution":{"observed_at":"2026-08-07T04:45:24.149193Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.125086Z","title":null,"venue":null,"work_id":"6d33a047-f0f5-4612-b45e-a15227a09e98","year":1963},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.916665Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:9a8eddb8df18bd9aaf53d9137706299a392e3315ea45c35f1424e2aca9bc22cd","observation_id":"310af82e-059d-4c60-b3b2-f951cbdcf578","resolution":{"observed_at":"2026-08-07T04:45:24.129927Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.108536Z","title":"Efficient bayesian inference for generalized bradley–terry models,","venue":null,"work_id":"02b1e79e-a042-4c52-a5de-4d71106e75bc","year":2012},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.921047Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:e84ef491650a7adad1bbaebe8aa8522fef68c7ad7226df1b6532fa903dc694b7","observation_id":"9f17246d-49bf-48c3-b7ec-5ee0332ba7d6","resolution":{"observed_at":"2026-08-07T04:45:24.113602Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.092831Z","title":"Active ranking using pairwise com- parisons,","venue":null,"work_id":"9b87fc8f-2da0-43ed-8bce-55946759a322","year":2011},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.925222Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:984c5bac726360192f887b49713a056f8b644be7ed845f473e78da6c429432a8","observation_id":"ab4a50b0-90d7-41c7-801a-ba2015beaee8","resolution":{"observed_at":"2026-08-07T04:45:24.097507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.077021Z","title":"A graph complexity measure based on the spectral analysis of the laplace operator,","venue":null,"work_id":"2988a860-8995-477e-840b-e4edad626ff6","year":2022},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.929327Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:303f13481e8ba0aa4aa268fffb152998282939ef19108556a05a11c863c12033","observation_id":"85f81485-1a64-46d4-94c0-7e7e8e572f60","resolution":{"observed_at":"2026-08-07T04:45:24.081551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.062788Z","title":"The state explosion problem,","venue":null,"work_id":"d30fe750-f1b6-42b9-bcce-652aeef1ebd9","year":1996},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.933441Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:e7d1a9edd01c3b248686b69dd1afd23056717978567e00b95cf233d4b116173b","observation_id":"c3d2005b-2772-4da9-a73a-bd900dbc0095","resolution":{"observed_at":"2026-08-07T04:45:24.067078Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:23.937354Z","title":"On the criteria to be used in decomposing systems into modules,","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.937354Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:ced031ff71fd4d91a98868486baa796122922d1080cea3db73a236405d5a1cdf","observation_id":"89f70ef2-8a2a-42ec-9a91-c894e483ef99","resolution":{"observed_at":"2026-08-07T04:45:23.937354Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:45:24.037069Z","title":"Symmetry and model checking,","venue":null,"work_id":"02b387b5-5686-4fa8-857c-5e7a3c320a49","year":1996},"citing_paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T04:45:23.941325Z"},"links":{"citing_paper":"/paper/2506.09759"},"observation_digest":"sha256:dfc1248066262ce2cfa14ed327a312de595809feec73a51d23d3cc3ca4b0de52","observation_id":"6c3131d1-c79a-4dda-9f98-0315d0ed4e8a","resolution":{"observed_at":"2026-08-07T04:45:24.041755Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.09759","last_updated":"2025-06-11T14:03:35Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-12T07:31:21.605830Z","submitted_at":"2025-06-11T14:03:35Z","title":"Towards Bridging Formal Methods and Human Interpretability"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":1,"verified_fuzzy":35},"total_outbound_references":42},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2506.09759."}