{"as_of":"2026-08-08T10:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:18a8926b298d33535cd9ed46edf3db56fb7208eb61ec443be30928eed925a001","coverage":[{"denominator":15,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":15,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:46:23.174445Z","state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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.07173/citation-record","integrity":"/paper/2506.07173/integrity","json":"/paper/2506.07173/citation-record.json","paper":"/paper/2506.07173"},"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-07T05:46:23.510226Z","title":"Accessed: 10.01.2025 [Online]","venue":null,"work_id":"0d858fe0-a448-4ed2-88dc-0b717c994714","year":2025},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.117788Z"},"links":{"citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:4391cca815a27261c10e9a36c8f1fe393ee0c0193131fbd68b1bb56e352d10a0","observation_id":"5b5f57c6-884c-4531-a15a-fc04f385e94f","resolution":{"observed_at":"2026-08-07T05:46:23.513987Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8345.2023","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:46:23.456309Z","title":"A Simple Python Testbed for Federated Learning Algorithms,","venue":null,"work_id":"84653776-ca52-46e1-a954-f539c78c4b9b","year":2023},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.122409Z"},"links":{"citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:ec09cd5e4c19a197e4cd80d9748a71b64e77ccee029b925beb162c7f6c065a18","observation_id":"7afd3ce0-4774-4129-a381-48424a5c808d","resolution":{"observed_at":"2026-08-07T05:46:23.462927Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:46:23.497526Z","title":"A Federated Learning Algorithms Development Paradigm,","venue":null,"work_id":"649fd4ba-e9f9-4672-aea6-9b9a62bc87fb","year":null},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.126618Z"},"links":{"citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:b1b0155318df3e38df9c7aaa8096b3257e7978dc2c24104a90a7d454b07d3566","observation_id":"73c4fc87-9d68-467f-8fb6-e9dc35c26121","resolution":{"observed_at":"2026-08-07T05:46:23.501355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9449.2023","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:46:23.381029Z","title":"Developing Elementary Federated Learning Algorithms Leveraging the ChatGPT,","venue":null,"work_id":"e138993a-ae45-4b91-af34-c366bd7360a3","year":2023},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.134900Z"},"links":{"citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:384c69ad75ae8920f04ccf7a1afac50d7666313e0290b53ed254c85751933219","observation_id":"169f420c-706a-4119-8d91-2f932138c6b8","resolution":{"observed_at":"2026-08-07T05:46:23.387949Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2298/csis231224036p","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:46:23.237325Z","title":"PTB-FLA Development Paradigm Adaptation for ChatGPT,","venue":null,"work_id":"884c57ab-7282-4520-982f-19ba817dd227","year":2024},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.138761Z"},"links":{"citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:e67af9270a101333a587bf0853ade9033cafdc86f8f062a1efb934666e7c39a8","observation_id":"739d80d2-d4b8-4680-b544-616f753757e7","resolution":{"observed_at":"2026-08-07T05:46:23.241060Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-49252-5_25","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP,","venue":"Lecture notes in computer science","work_id":"978e9a33-403e-4874-920c-09c0a2c37d70","year":2024},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.142885Z"},"links":{"citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:b570155d455d3715173687705bcedc6f3241703c8204b77668065d51b4ac6298","observation_id":"04b39c73-822a-48f4-9167-ad14a5d82ede","resolution":{"observed_at":"2026-08-07T05:46:23.228886Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:46:23.485011Z","title":"Correct orchestration of Federated Learning generic algorithms: Python translation t o CSP and verification by PAT,","venue":null,"work_id":"152774b9-d299-4f76-9cb4-f9ae29155b92","year":2025},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.146745Z"},"links":{"citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:1db9cc199bed9e8d6e2ad89c44cd7a9fd2ccf6290d6430e29033f0e8f3d6bead","observation_id":"91821df7-f058-481b-94f0-645856e482a4","resolution":{"observed_at":"2026-08-07T05:46:23.489045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:46:23.471544Z","title":"Accessed: 20.01.2025 [Online]","venue":null,"work_id":"f5ad209c-040c-46ca-8edd-17adca21e849","year":2025},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.150861Z"},"links":{"citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:2e7b1dbac4ec6a1d469a295d34b71737e0e251dd2f2a6d88a0fe119636bc88c8","observation_id":"516788ab-c452-4d1c-9a0f-dd8cf55856a7","resolution":{"observed_at":"2026-08-07T05:46:23.475387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-07T05:46:23.154422Z","title":"GPT-4 Technical Report,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.154422Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:d2577b4c5032d9e073f91ee491e50f2eaedda4fbc9269f386ac02dacb8233f2f","observation_id":"4fb0943b-35eb-4cdd-98ee-aed3abef4a9c","resolution":{"observed_at":"2026-08-07T05:46:23.154422Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.12712","last_updated":"2023-04-13T20:41:31Z","snapshot_observed_at":"2026-08-03T04:49:15.195814Z","submitted_at":"2023-03-22T16:51:28Z","title":"Sparks of Artificial General Intelligence: Early experiments with GPT-4","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.12712","snapshot_observed_at":"2026-08-07T05:46:23.158238Z","title":"Sparks of artificial general intelligence: Early experiments with GPT-4,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.158238Z"},"links":{"cited_paper":"/paper/2303.12712","citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:328447937471fa82f72707d730d01bd1f15a4a85cd3bd61ae7b31495b35c2ce9","observation_id":"3e4f8e3b-3c20-4fff-aebf-a1a49bd5800d","resolution":{"observed_at":"2026-08-07T05:46:23.158238Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.17580","last_updated":"2023-12-03T18:17:21Z","snapshot_observed_at":"2026-08-03T00:52:54.308486Z","submitted_at":"2023-03-30T17:48:28Z","title":"HuggingGPT: Solving AI Tasks with ChatGPT and its Friends in Hugging Face","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.17580","snapshot_observed_at":"2026-08-07T05:46:23.162426Z","title":"HuggingGPT: Solving AI Tasks with ChatGPT and its Friends in Hugging Face ,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.162426Z"},"links":{"cited_paper":"/paper/2303.17580","citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:34a382ba9b1f7cc9d95b7b6fd0536a4153aff03f9b2a1ea09a17c0e2a5fe8d64","observation_id":"cd399fce-1169-4ed2-b430-f464c7d01c67","resolution":{"observed_at":"2026-08-07T05:46:23.162426Z","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":"10.1109/mcom.001.2300550","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:46:23.210395Z","title":"Large Language Models Empowered Autonomous Edge AI for Connected Intelligence,","venue":null,"work_id":"d8098b09-8c94-4d98-9289-d4b5570262f6","year":2024},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.167237Z"},"links":{"citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:8b17afef20aba8fb2255094978014ddda0a92fe95403631a7bf7eaa8e51c5b27","observation_id":"18899586-c5a4-4ccc-b94c-45b97b69ca57","resolution":{"observed_at":"2026-08-07T05:46:23.215989Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:46:23.170987Z","title":"PAT: Towards Flexible Verification under Fairness ,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.170987Z"},"links":{"citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:0117e1eaa202c4c88164527482193b38ebad0b2645316ebdbbfbb830fcb4d43f","observation_id":"3c75b1f0-fba9-4728-a2f3-b3a2d1891511","resolution":{"observed_at":"2026-08-07T05:46:23.170987Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.07295","last_updated":"2025-03-02T01:39:57Z","snapshot_observed_at":"2026-07-06T19:30:43.691433Z","submitted_at":"2024-10-09T16:21:38Z","title":"IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.07295","snapshot_observed_at":"2026-08-07T05:46:23.174445Z","title":"IterGen: Iterative Structured LLM Generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.174445Z"},"links":{"cited_paper":"/paper/2410.07295","citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:3176a35eb6311a916c66f305353150618c47ff702dda45224ba4ad2e3b2f6af9","observation_id":"2825dfa6-30fb-435b-8a80-e3c621736937","resolution":{"observed_at":"2026-08-07T05:46:23.174445Z","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":"10.1007/978-3-031-49252-5_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"6cd81a58-c4cb-4781-905e-17445e681cc9","year":null},"citing_paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-07T05:46:23.130471Z"},"links":{"citing_paper":"/paper/2506.07173"},"observation_digest":"sha256:412caa9e56237231a42502a0bf88cd080a2d3fef7cce5e0b8adf3c27df66533b","observation_id":"ee24cd6f-2a52-4560-8219-8ceadb3d8c6d","resolution":{"observed_at":"2026-08-07T05:46:23.252969Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.07173","last_updated":"2025-09-05T09:25:57Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T05:37:59.535699Z","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT"},"reference_resolution":{"displayed":15,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":6,"verified_fuzzy":3},"total_outbound_references":15},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2506.07173."}