{"as_of":"2026-08-22T02:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b8d4334218473c3f5febaa5d45c50c1ea8250a047f5f55b1c8eb65a8893feb40","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T18:16:29.502554Z","state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T22:10:19.146590Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T22:10:20.458751Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"cited_work":{"arxiv_id":"2502.07789","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.07789","snapshot_observed_at":"2026-08-06T22:10:20.458751Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","venue":"cs.CY","work_id":"942eb4ca-59eb-4fa7-ae05-5885e07a631e","year":2025},"citing_paper":{"arxiv_id":"2506.22370","last_updated":"2025-09-07T11:26:53Z","snapshot_observed_at":"2026-08-21T22:40:50.983659Z","submitted_at":"2025-06-27T16:34:13Z","title":"Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny","version":4},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T22:10:19.146590Z"},"links":{"cited_paper":"/paper/2502.07789","citing_paper":"/paper/2506.22370"},"observation_digest":"sha256:a679dabf567a231b3f2e7e97d1c67034ee0826ac43f0c015dab01cf658eea669","observation_id":"61c8ef18-3838-4605-b2eb-af93dbae9874","resolution":{"observed_at":"2026-08-06T22:10:20.557101Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2502.07789/citation-record","integrity":"/paper/2502.07789/integrity","json":"/paper/2502.07789/citation-record.json","paper":"/paper/2502.07789"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3670795","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:16:29.577878Z","title":"Does Every Computer Scientist Need to Know Formal Methods?","venue":null,"work_id":"3487c8ee-7caf-418f-8ab9-4ff1c086682d","year":2024},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.436178Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:f4c9b0dda5951f9c1d285cb9b645e492c75dd6e42f4ca300d85a4a1175c22b86","observation_id":"3d3955ab-64c1-4f69-8e39-e6d731c71b8c","resolution":{"observed_at":"2026-08-10T18:16:29.582414Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3670419","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:16:29.563648Z","title":"On Formal Methods Thinking in Computer Science Education,","venue":null,"work_id":"5e095609-d42e-4bbd-903e-360d810a3547","year":2024},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.441284Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:8a6119b94e51ed9ce2670e4ad5d258575b19ff4121b4be136c690253398edc1e","observation_id":"a026cfda-98bf-45f7-a156-1ad2bb30b485","resolution":{"observed_at":"2026-08-10T18:16:29.568175Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-10T18:16:30.016079Z","title":"More Than Half of UK Undergraduates Admit Using AI to Write Essays,","venue":null,"work_id":"e3aa19a2-0870-4e0d-b318-658979b14480","year":2024},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.445871Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:8fabf4870a48af4d16cde52c76aa1a03c27dd401dd26cec14e64dc1c6c8f9d8f","observation_id":"f9ca2e5a-63b3-45d0-8b6f-a601c8471d96","resolution":{"observed_at":"2026-08-10T18:16:30.020828Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-10T18:16:30.000694Z","title":null,"venue":null,"work_id":"3949e31c-b93f-4923-91e3-23542c737e7b","year":2024},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.450291Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:59aae9c5cd2bfc0c3c0cec309d0d60bdff83a4e4431f741a8edfde0184485877","observation_id":"34a1d602-ed70-428b-83ca-7e1e34768e7c","resolution":{"observed_at":"2026-08-10T18:16:30.006140Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1861.35118","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:16:29.897896Z","title":"The robots are coming: Exploring the implications of openai codex on introductory programming,","venue":null,"work_id":"2523bfa2-fcf6-41a2-a994-6e14e3f2b96e","year":2022},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.454917Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:4c18e2875e8866c5c5e2fa65cb13f51cf7096aa5ef66c61a62aeefdab1c22411","observation_id":"f91238d3-f126-4bba-9fbe-6a8d372be736","resolution":{"observed_at":"2026-08-10T18:16:29.905073Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-10T18:16:29.459562Z","title":"Conversing with Copilot: Exploring Prompt Engineering for Solving CS1 Problems Using Natural Language,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.459562Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:7c7f7b81247a9529bdae539700f2cee2e73d77aa99202cba4a22be2ea2819008","observation_id":"4e6c8061-33df-45d1-b2d0-80d6f9847759","resolution":{"observed_at":"2026-08-10T18:16:29.459562Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:16:29.464400Z","title":"Can Generative Pre-trained Transformers (GPT) Pass Assessments in Higher Education Programming Courses?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.464400Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:3c1992a29f08c101101a52164589effa1204ebabcdb5057880ba6fb5fd836d47","observation_id":"8f4dec20-fdce-4506-a201-dd7d10682d8f","resolution":{"observed_at":"2026-08-10T18:16:29.464400Z","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-10T18:16:29.986392Z","title":"Chatgpt,","venue":null,"work_id":"0a4f87f4-b563-4e4e-ab10-47038fa000b1","year":2024},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.468635Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:d043b156790d248c6e718a41e0965af095cb973b9b048555bf2f356ff3cad944","observation_id":"db4b0e6c-6e44-465c-ac9a-21971e023e09","resolution":{"observed_at":"2026-08-10T18:16:29.990480Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-10T18:16:29.971364Z","title":"Schneider, The B-Method: an Introduction , ser","venue":null,"work_id":"22edc872-b5e1-4729-b2c0-f8c31173eb1d","year":2001},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.472899Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:7bb3eb6444fbe6736161dceaa14076ca77ae404d25c81a63c3bf3ff2477266c0","observation_id":"5ef668dd-e4eb-4b07-b83a-fb37992c6a4d","resolution":{"observed_at":"2026-08-10T18:16:29.976473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-10T18:16:29.477057Z","title":"Do Users Write More Insecure Code with AI Assistants?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.477057Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:0ad64d7c62844f88b032f35f0c8a42346e3f9d889763eaae2e84e3268084ff99","observation_id":"09e45fc0-5b64-4aa6-bb15-d73d82ed9156","resolution":{"observed_at":"2026-08-10T18:16:29.477057Z","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-10T18:16:29.957099Z","title":null,"venue":null,"work_id":"a7c7be19-0877-4b36-b4a2-59465e6e94f4","year":1996},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.481331Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:6fdf2649d30d0ebe0ad23af978a904cfdcd14212a6847627f54c85edad033df4","observation_id":"796300d7-1cac-49b5-aed0-a473a5c34985","resolution":{"observed_at":"2026-08-10T18:16:29.961653Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-58298-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"The First Twenty-Five Years of Industrial Use of the B-Method,","venue":"Lecture notes in computer science","work_id":"a331f566-0c26-4237-8020-bcd66d08a902","year":2020},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.485589Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:3d9880425da148e8b95affdb83d9ea819f6dba3e227628b7b03cfa96a27e8342","observation_id":"b59e60ab-da20-46a3-81fa-7b27860203c6","resolution":{"observed_at":"2026-08-10T18:16:29.553597Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-10T18:16:29.943231Z","title":"Can chatgpt support software verification?","venue":null,"work_id":"b19b0b3f-7d23-4f2d-b9c7-79699120ce71","year":2024},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.489958Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:0bef15a2a872e1fa077f651f5da0b418e98346a55ea8c3a80d9b7ee16f6a90e9","observation_id":"cc139791-cd91-482f-916e-c8dc0dabe95a","resolution":{"observed_at":"2026-08-10T18:16:29.947971Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-10T18:16:29.928987Z","title":"Kanika, Research Methods: The Essential Knowledge Base","venue":null,"work_id":"8f87fef0-b5b4-445e-8a89-1599f53ee57c","year":2015},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.494363Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:c14a1c52724ebca9116e4faf6217864ca2588f4f7eef83100d7898030a4739bd","observation_id":"027678bb-a309-4c2b-ac51-3b43de0481df","resolution":{"observed_at":"2026-08-10T18:16:29.933566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-10T18:16:29.914129Z","title":"Computation of normalized edit distance and applications,","venue":null,"work_id":"f8d823fe-ada7-4845-adb7-a6aafd5417f2","year":1993},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.498412Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:ecd721da9c5454a5c5638c9ef7408a49debd5842fdd4953ea090beaf6eb278df","observation_id":"e7cd4ca9-5a6f-40cb-ada4-755acbb16d36","resolution":{"observed_at":"2026-08-10T18:16:29.918553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.13914857","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:16:29.531618Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method,","venue":null,"work_id":"5783b44a-1d75-4245-a2e0-cda031d30e82","year":2024},"citing_paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T18:16:29.502554Z"},"links":{"citing_paper":"/paper/2502.07789"},"observation_digest":"sha256:48426c1216cc0d068567c86b2c1b84f5636419e440f47f4fa0151edc1efada75","observation_id":"e49c4136-41be-407d-9d2d-f023ce1cf5e4","resolution":{"observed_at":"2026-08-10T18:16:29.538230Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2502.07789","last_updated":"2025-01-20T13:00:29Z","latest_version":1,"primary_category":"cs.CY","snapshot_observed_at":"2026-08-15T07:27:28.122321Z","submitted_at":"2025-01-20T13:00:29Z","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":5,"verified_exact":4,"verified_fuzzy":6},"total_outbound_references":16},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 1 inbound Pith citation observation for arXiv:2502.07789."}