{"as_of":"2026-08-04T19:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0a0588a8888641d8d4cc71b8b28c4f5498c80cabc6cc5d1e22ca9f0b2b7938ab","coverage":[{"denominator":74,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":74,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-19T18:13:11.799609Z","state":"measured"},{"denominator":74,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":74,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+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/2605.15827/citation-record","integrity":"/paper/2605.15827/integrity","json":"/paper/2605.15827/citation-record.json","paper":"/paper/2605.15827"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-81688-9_1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Silva, A., Leino, K.R.M","venue":null,"work_id":"e1b289e1-b6ad-4815-9151-6c1d3225ed63","year":2021},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:0ead53c7b3300defb70ffa2a115b80581533e84982ab7d2d78687388d41758c6","observation_id":"d2500de4-12d4-4d59-95a0-eb79d64c63a0","resolution":{"observed_at":"2026-05-19T18:17:43.163589Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:46.270541+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:46.270541+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3732291","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"ACM Trans","venue":null,"work_id":"f07f2489-65ee-4e93-8e15-0bf8a568d594","year":2025},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:9a7cb9e67005e49358ac56c1392776cf124d1a792126f7d9fa7cb3c64b4b34f8","observation_id":"e28e4969-a630-49ea-b892-e7a8b45f0931","resolution":{"observed_at":"2026-05-19T18:17:43.147314Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:46.830833+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:46.830833+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3158122","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"21d48f6e-17eb-47be-b88a-3e49f2d882b3","year":2018},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:6f1f6eb1843bba9d114a9325e0dbba84d3b045ea96241e485bf85d97f76853ef","observation_id":"2acac6ec-574f-4bf5-98a3-43414e1968ca","resolution":{"observed_at":"2026-05-19T18:17:43.106625Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:47.314573+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:47.314573+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3434333","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d8635570-e372-4810-a67b-2eb8b82afdb6","year":2021},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:972978c10c4362233edba412a3ca28519398374072c5dfe678878c30cb6eb780","observation_id":"330c68d1-0271-405b-9fe2-3b36ce66e8b7","resolution":{"observed_at":"2026-05-19T18:17:43.097403Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:47.767376+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:47.767376+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"(eds.): Deductive Software Verification - The KeY Book - From Theory to Practice","venue":null,"work_id":"b0f7420d-0fc3-41ea-b44f-70b43e88c13b","year":2016},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:9cc5678a5f00216d441843313e261ec6d2379109600e8461246de3e2afeb313a","observation_id":"d4063512-af59-4ab4-bef6-b47e4d3665f0","resolution":{"observed_at":"2026-05-19T18:17:43.692379Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-22308-2_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Singh, G., Urban, C","venue":null,"work_id":"5da76bf7-1b4e-4579-84a2-1952c7c8557b","year":2022},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:bd9180f309ac6eeb7d44d1ad3cd7c046ceb113885e9360c292c9297ce27fa577","observation_id":"ad6cca52-ccfd-4eb7-89f7-c3a2484c72b0","resolution":{"observed_at":"2026-05-19T18:17:43.142564Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:48.243059+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:48.243059+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-81685-8_40","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T22:40:09.806113Z","title":"In: Silva, A., Leino, K.R.M","venue":null,"work_id":"11273d56-f42e-40e9-bd6f-6a52d851e462","year":2021},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:cb3393e8d0f448102dd749fc56de6d4daee70e6de598c94d4cdc97d1894f5c78","observation_id":"85fa717a-5e51-49f2-a6aa-caa357f82e46","resolution":{"observed_at":"2026-05-19T18:17:43.068850Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:48.73965+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:48.73965+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3360573","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Object-Oriented Programming Sys- tems, Languages, and Applications (OOPSLA), 147:1–147:30","venue":null,"work_id":"05ddd458-232f-44de-8e22-f924aac7b27a","year":2019},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:3cbc0074b2b0c5faae36ba0f521a13a89e39b3f1e6352fcaeebce4621a6c30e6","observation_id":"b6a604de-ddea-4bdd-8b35-03275d7f4a97","resolution":{"observed_at":"2026-05-19T18:17:43.176012Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:49.312143+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:49.312143+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7051d663-c25e-4403-9ecc-52e173f82ec7","year":2024},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:815777a7459a892cb51140794046a1828581b4484a4ee07dbeb6880c58428a15","observation_id":"43755f13-9360-432e-8922-fdbdee05410e","resolution":{"observed_at":"2026-05-19T18:17:43.702579Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3428240","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T04:50:35.012806Z","title":"A modular cost analysis for probabilistic programs.Proc","venue":null,"work_id":"5705e9ca-337b-48af-bfae-765f7fd3d4bd","year":2020},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:ea77e86dd921c3c159bbb7c2a48e473ce790662c81dd2a9dd4806ca4c8c7a2c2","observation_id":"390531c7-52b4-42a7-aed6-77bbe94647a1","resolution":{"observed_at":"2026-05-19T18:17:43.052664Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:49.751048+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:49.751048+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3591263","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T04:50:35.084376Z","title":"Automated expected value analysis of recursive programs","venue":null,"work_id":"b769f31a-4b9d-4f4f-9eea-ec3f23646c69","year":2023},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:d4de46fb839487340ceb68d30323f5473b45000434bd71ec5e82ee696f26f0d8","observation_id":"d923ddfe-9725-42e8-b639-2fa6e99a9624","resolution":{"observed_at":"2026-05-19T18:17:43.050310Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:50.198782+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:50.198782+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4ed2c216-0606-4ef5-bdb8-df0d67168d2a","year":2016},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:a48ec1e7c763a871ea9dae7bf54e7ccdb1119361d4b030089ce9459fbcc813ab","observation_id":"796405d4-0853-4c98-ba8d-6c5241b3ba7d","resolution":{"observed_at":"2026-05-19T18:17:43.699585Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-41528-4_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Chaudhuri, S., Farzan, A","venue":null,"work_id":"02c88e3b-7db4-4e8d-9a9b-e71307913160","year":2016},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:c94656dc3d538c10d64fb65f2e56572c8da37f2ca1db371b5e8c8998c8e89d86","observation_id":"6fcef476-e144-4286-9f03-57a541fb1533","resolution":{"observed_at":"2026-05-19T18:17:43.045416Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:50.666941+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:50.666941+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-30820-8_25","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T02:07:33.017931Z","title":"In: TACAS (2)","venue":null,"work_id":"98924fef-9a8b-486b-9119-7c9b3c0b07a0","year":2023},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:de15709a0749c82fff30e54aafe10b6e3989915b7617b46392fd608eced3504e","observation_id":"3a2c8c3a-a840-4724-b131-045b9a5ff382","resolution":{"observed_at":"2026-05-19T18:17:43.182652Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:51.157884+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:51.157884+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: CAV (2)","venue":null,"work_id":"90e6825c-b7f1-497a-ad17-11edd7df2bcf","year":null},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:8b694892df9aaa5de20413e70f7ad343953ee6ff226a17e3feb3f8c347c20197","observation_id":"499c9df8-cfe9-43f9-a5db-81f55ec6fdaf","resolution":{"observed_at":"2026-05-19T18:17:43.744537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-53291-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f0c8a890-6849-4a14-9de9-ea86822d3475","year":2020},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:1215df374bcd715ec37dd28857b3945ed694fe7c494a493e7dee7a8a4de58d87","observation_id":"61a4fd47-4d75-4b4c-8cdd-f4139790ffa9","resolution":{"observed_at":"2026-05-19T18:17:43.122615Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c79e682b-8d11-4d7c-916c-82c54d69771d","year":2021},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:a5e1b7d9242cc122bf65e48c5deb4df4170fadc21594fbfa5359d4a5573bd0df","observation_id":"7d438124-73e6-4b63-84d3-d32d43ae8920","resolution":{"observed_at":"2026-05-19T18:17:43.741041Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3720429","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back , journal =","venue":null,"work_id":"4c5c294f-b334-4fa5-8bec-2d1e8bfafff9","year":2025},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:3d75964879e40457a1c7be01b816f029ff880a5c402fc1d8251d2ac0014a759c","observation_id":"cb1f5d32-f089-4667-886c-363284399816","resolution":{"observed_at":"2026-05-19T18:17:43.159497Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:51.646616+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:51.646616+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18154/rwth-2025-07050.https://publications.rwth-aachen.de/record/","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"MA thesis, RWTH Aachen University, Aachen (2025).https://doi.org/ 10.18154/RWTH-2025-07050.https://publications.rwth-aachen.de/record/ 1016969","venue":null,"work_id":"72827b7f-1706-4a3d-9bd7-b4e7fea91647","year":2025},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:86eedfa4201c580737d6c806ce19fe02629fe4e87933a1961640b95a43502962","observation_id":"d9cfead4-4927-4da6-ba22-6266d55636ba","resolution":{"observed_at":"2026-05-19T18:17:43.154198Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"TheoretiCS4(2025).https://doi.org/10.46298/ THEORETICS.25.10","venue":null,"work_id":"72a8514c-9327-47f9-a49d-ff0129e134a4","year":2025},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:a004c90c45ef11b98157ad8e7df1123cd8b546e73e619fe58dcddfaedc3e804d","observation_id":"eed04b4f-e976-4342-8492-5141754a1370","resolution":{"observed_at":"2026-05-19T18:17:43.737956Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-54580-5_9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T04:16:34.613128Z","title":"In: Legay, A., Margaria, T","venue":null,"work_id":"c2c496e2-812f-4f60-8a5b-8c5522c3e1a9","year":2017},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:1d9d76508a90d8f5c11619218c81abffde27be0f45a9dde9bb540ef0efa58eea","observation_id":"0eeb30d2-5812-44d9-acfc-e08996cd6c7f","resolution":{"observed_at":"2026-05-19T18:17:43.137475Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:52.129116+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:52.129116+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-39799-8_34","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Sharygina, N., Veith, H","venue":null,"work_id":"fc9f83da-b5a9-4985-9738-38a6ab5ad8c7","year":2013},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:1df09576c36163baf7c13e6430fde016b13871d48ffa1c96d2341ad6adaa5401","observation_id":"dab26899-aad9-43dc-b378-6b398dadc391","resolution":{"observed_at":"2026-05-19T18:17:43.132415Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:52.611995+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:52.611995+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: Kroening, D., Pasare- anu, C.S","venue":null,"work_id":"b2623038-fc2b-4515-9ea7-fb67110689fc","year":2015},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:cbf6da55f04811077a0dcdf35a546de332198ee0baad1bdf66a342993e5fe57b","observation_id":"b9eb1f5e-949b-4808-bf5e-e9ba35b6fbc8","resolution":{"observed_at":"2026-05-19T18:17:43.729199Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0035403","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"(ed.) Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS ’97, Enschede, The Netherlands, April 2-4, 1997, Proceedings","venue":null,"work_id":"0e34a5a8-a174-40c6-b64c-d6247aca7965","year":1997},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:e6e34e82bda27e76820dd7bfa85851e09f6376170c5e65c897ebe04729ded3c8","observation_id":"52957fe2-31fd-4609-9d6b-3d25db57c871","resolution":{"observed_at":"2026-05-19T18:17:43.117801Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:53.071836+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:53.071836+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-78800-3_24","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T14:18:22.233438Z","title":"Z3: An Efficient SMT Solver","venue":null,"work_id":"f009afaf-7a34-4f40-ad17-58b6816abd92","year":2008},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:240dc1e21dc93ec6014e51e8aef41dc4e8027123948ab1de53dc31f2d9fcc668","observation_id":"514de96c-f85e-4b92-a552-522f17fc71a3","resolution":{"observed_at":"2026-05-19T18:17:43.112048Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-15T23:20:24.572696+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T23:20:24.572696+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3776691","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T04:50:35.062686Z","title":null,"venue":null,"work_id":"800a6b55-41d8-4238-8f7a-f0ab603b1222","year":2026},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:92d2bf5a74c20197ec18c7fa277ca1ff300a6f290150c8c3288576ee9c8c8bc9","observation_id":"a18f5f7a-4028-46cd-8a9e-6288863bb979","resolution":{"observed_at":"2026-05-19T18:17:43.170275Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:53.506568+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:53.506568+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3586051","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"89e9f51e-9da9-48ff-9f03-656c9d63babc","year":2023},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:2ba8e419914b84d659b8f90aed2df5a3e96b4b4b96d8146de6ebfa3f42323b6a","observation_id":"58c3dbbc-bc89-470c-93d5-8b84070f82a2","resolution":{"observed_at":"2026-05-19T18:17:43.099928Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:54.059509+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:54.059509+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-08T06:54:44.632854Z","title":"N., Abdrasheva, G","venue":null,"work_id":"4d8d61c8-429b-40e8-a295-aa17c2049f81","year":2017},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:2ebecf6542d81030a44f372b1d7e162978edf7e84cb3e5f4fc64f48f75c9e9bb","observation_id":"ab74772c-5296-4ee5-aa4e-21a7bf5b8356","resolution":{"observed_at":"2026-05-19T18:17:43.094679Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: ESOP","venue":null,"work_id":"dd873dd5-775e-4c6c-8b1b-0a3c7c7545d2","year":2013},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:37f559922d433c990ea941b2b1f4f6138464b01d82cb0ab40beb98fc3a7e194b","observation_id":"8f94f507-cf94-4bd9-a2a3-219ac6813044","resolution":{"observed_at":"2026-05-19T18:17:43.723417Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6726.267700","doi":"10.1145/2676726.2677001","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"In: Rajamani, S.K., Walker, D","venue":null,"work_id":"a1dd8204-996d-4759-ba66-560827a0b1cc","year":2015},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:4ebf5eb16959c0d10f2f701a0eb62f84a21c759a9c929b58eaf6940d6f9df7e7","observation_id":"2004673c-843f-4f8f-8e3e-fcf457716f1b","resolution":{"observed_at":"2026-05-19T18:17:43.085015Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:54.498046+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:54.498046+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-41528-4_4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Chaudhuri, S., Farzan, A","venue":null,"work_id":"d96314c7-9347-49f5-99df-fb43da250b49","year":2016},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:7f507398cb83308b58231f6c42d135da338b63395dbb4d10b669d2f1b9fedee0","observation_id":"0b73fb3c-49dd-4e7b-92aa-d94b3a655239","resolution":{"observed_at":"2026-05-19T18:17:43.076386Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:54.976881+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:54.976881+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-032-22720-1_12","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Krebbers, R","venue":null,"work_id":"b4372b7d-d028-4f1d-aa3c-dd24b718ed31","year":2026},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:0ec3d230c3624cd965e3cd93d0b9a744781db5d8d36c443ecf73aa71c0d42dac","observation_id":"8c3e25a5-66f2-41cd-b3c6-1573f9e3f673","resolution":{"observed_at":"2026-05-19T18:17:43.071194Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:55.47648+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:55.47648+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4585.354459","doi":"10.1145/3544585.3544593","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"In: Edsger Wybe Dijkstra: His Life, Work, and Legacy","venue":null,"work_id":"c731351b-e4a5-4c9e-b59c-99c68de43461","year":2022},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:3cdf2c9fddef9f094a51c0508ab85d7251afbaa730e05ace3ab323fd1e929898","observation_id":"f66bddca-66c4-435c-b76b-59292096ff62","resolution":{"observed_at":"2026-05-19T18:17:43.066748Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:55.910563+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:55.910563+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3371105","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ff006667-c6c3-4f21-beda-708a03ab78d2","year":2020},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:1ba91724015a3a0b17df2e3d577c8ba936afbf091b1c243fae515b6e37e2b537","observation_id":"364607a8-6b16-45e5-8b0f-2a901f0979b2","resolution":{"observed_at":"2026-05-19T18:17:43.062906Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:56.282546+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:56.282546+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-021-00633-z","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-30T22:05:05.113392Z","title":"International Journal on Software Tools for Technology Transfer24(4), 589–610 (Aug 2022)","venue":null,"work_id":"8435274e-9504-41b9-8629-d8c7ea4e389e","year":2022},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:8188b6c97d504aef227830ed3169d034afcb9791a206c07b1e713d34479019bc","observation_id":"25676bec-83dc-41fc-ab58-bbe31e99711a","resolution":{"observed_at":"2026-05-19T18:17:43.165811Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-22T08:52:54.606511+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-22T08:52:54.606511+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-43144-4_30","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Blanchette, J.C., Merz, S","venue":null,"work_id":"1824c9ff-b32a-4848-be79-f2f17b9e7fbc","year":2016},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:15e30835f90dd923c4e2f0fb92e2a0791cc510f9044c4cb58deab0b6dba61009","observation_id":"93cd2c11-3a5c-4f23-a401-8d47ae680251","resolution":{"observed_at":"2026-05-19T18:17:43.060634Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:56.640513+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:56.640513+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-88885-5_16","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Hou, Z., Ganesh, V","venue":null,"work_id":"72444201-2b4a-4a8b-91cf-cbf12f708822","year":2021},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:a40c00faf1159cf5145105a8e1389770f0e8fa4882c98ffcc77684756e35f98d","observation_id":"50a6ae5d-f228-4c77-9184-e4dbffdc0a91","resolution":{"observed_at":"2026-05-19T18:17:43.057534Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:56.984974+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:56.984974+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2005.08.005","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Theoretical Computer Science346(1), 96–112 (2005).https://doi.org/ 10.1016/j.tcs.2005.08.005","venue":null,"work_id":"382fd049-2bb5-4a4b-9789-76873d1f3e10","year":2005},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:ca5f6d3a1ced1d70333f2bd5d089f34a932db78cc4e3bd1782560008e9dc29d2","observation_id":"a9c8d2ff-1c91-4878-8663-e2e6c70f9d82","resolution":{"observed_at":"2026-05-19T18:17:43.055269Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:57.422195+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:57.422195+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Thesis, University of Twente, Enschede (2025).https : / / purl","venue":null,"work_id":"81a184e1-6d93-44a9-8360-0dce8d5c3c88","year":2025},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:bb908e258eead8f3ab215caa341669d5afe13369ee58305ebb5ccb1c192b893e","observation_id":"3e48d698-6644-4dab-bf12-3468a346e23b","resolution":{"observed_at":"2026-05-19T18:17:43.695907Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"PhD thesis, University of Edinburgh, UK (1990).https://hdl.handle.net/1842/413","venue":null,"work_id":"5784bf29-f1f0-4929-89cc-6fe69dbba6cc","year":1990},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:9d82f8bb935a5ca34731dd2445c1db74399a603572055c48dd158102b6661320","observation_id":"8b4e9835-348e-4f8d-b01e-fee28f9f719d","resolution":{"observed_at":"2026-05-19T18:17:43.688555Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"PhD thesis, RWTH Aachen University (2019).https : / / doi","venue":null,"work_id":"dd1a7bfa-f1e0-4a52-bc30-a85081b97ae8","year":2019},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:260f6ec429a0c365d8e772775c40c9e79886fac7e7430d45c5d3c3fa92b3a21d","observation_id":"0dff0d41-ba26-47cf-ac0a-99a99446aa00","resolution":{"observed_at":"2026-05-19T18:17:43.681647Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Acta Informatica56(3), 255–285 (2019).https://doi.org/10.1007/ S00236-018-0321-1","venue":null,"work_id":"e6f88510-1a8b-4738-bba9-fe0cffcbf901","year":2019},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:62d12b72a43f93e8d56f91e407c6c21325644a7c38afc44b6a126d2553029651","observation_id":"75369e34-e6f9-451a-a64f-9dbf2d6fa66b","resolution":{"observed_at":"2026-05-19T18:17:43.677959Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: Thiemann, P","venue":null,"work_id":"e43ed123-7bda-4a6b-8f28-5b918c883bb0","year":2016},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:e1088131ec3cfe18854e408d29a1088fc7d66063808f901df4c6c26def8bdfb1","observation_id":"c282a427-0bb2-47a4-a7cb-6012f06d3021","resolution":{"observed_at":"2026-05-19T18:17:43.685024Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3208102","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T02:07:33.043603Z","title":"Weakestpreconditionreasoningforexpectedrun-timesofprobabilisticprograms","venue":null,"work_id":"c5b07764-43e8-4fa0-8543-5d3b9e1485bb","year":2018},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:3534e5563f6f606cb8815292e05fddb428930f38442ccc966acece37092bf9d1","observation_id":"0dc86884-022f-4d41-b0f3-a819163655ff","resolution":{"observed_at":"2026-05-19T18:17:43.048083Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:57.886028+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:57.886028+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-98679-6_10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Piskac, R., Rakamaric, Z","venue":null,"work_id":"aaa59573-1eb1-47d7-a9d5-e340927b2513","year":2025},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:6b9f487decdcc5aa97e631f386fea76fe4c406c0cd8c37b60a3e2abeb98b24f0","observation_id":"d63b0a6d-c870-4c21-85b7-0e06c09ef69f","resolution":{"observed_at":"2026-05-19T18:17:43.180211Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:58.414536+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:58.414536+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00165-014-0326-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T05:36:48.406675Z","title":"Formal Aspects of Computing27(3), 573–609 (2015)","venue":null,"work_id":"19d845db-e308-45fa-b3ca-c5217d24ec31","year":2015},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:f330b34a32a00dfb249385b64a9e5182dd621448d963615c307295f56372ea1b","observation_id":"cfaa64eb-d106-4afe-940a-12d0e2fd0d3d","resolution":{"observed_at":"2026-05-19T18:17:43.178238Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-18T00:50:59.68383+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T00:50:59.68383+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0061.808758","doi":"10.1145/800061.808758","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"In: STOC, pp","venue":null,"work_id":"a2da521e-8929-48aa-8380-8bd82375f064","year":1983},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:835332987ea3775728c23dbe1e39d839ba317d955b7ab612fe96ad3ca363b4b6","observation_id":"9f8b4e78-1d47-42df-a73a-1b114fef52db","resolution":{"observed_at":"2026-05-19T18:17:43.173749Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:59.363596+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:59.363596+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0022-0000(85)90012-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1388c5f1-dce5-4d5f-82ce-fc5fb36aa800","year":1985},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:35e10e585e3d12112267157e3bf4fd6a9cf38c69c2bde983cd139b1ea0af3fdc","observation_id":"10d0663c-56ea-4e65-8ffa-b4976c2313a2","resolution":{"observed_at":"2026-05-19T18:17:43.167992Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:23:59.72136+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:23:59.72136+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5419.13546","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Hutchinson, N.C","venue":null,"work_id":"d7a49cd2-ca65-4533-b2e1-5c2650ef3fc7","year":1992},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:44afed07fca31c730b327435e8a717c058d33eb1b117b5cb9d39a15f9223266f","observation_id":"18c78664-7bd8-4d82-a9ab-d246b3df4f9f","resolution":{"observed_at":"2026-05-19T18:17:43.271533Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-22110-1_47","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T23:32:46.768843Z","title":"In: Gopalakrishnan, G., Qadeer, S","venue":null,"work_id":"44fac4ad-a2a9-41e6-9ac4-9d5775b43ef4","year":2011},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:922a8e63d650622cf8a12da205dd34cba7d1575f0dc3d2d49b409492da0780a6","observation_id":"48185d7b-d105-466a-9b35-ccf0cf044bf2","resolution":{"observed_at":"2026-05-19T18:17:43.161622Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:00.158211+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:00.158211+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-17511-4_20","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T19:32:34.430608Z","title":"In: Clarke, E.M., Voronkov, A","venue":null,"work_id":"4fbc5e84-e701-4db8-8d72-da009bc1adfb","year":2010},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:174994a8320ca22435f2db2a3f65086273e263eadd6fc344395e2eabf9977e9b","observation_id":"ee908319-223b-4998-9860-81485cdd0a2a","resolution":{"observed_at":"2026-05-19T18:17:43.157267Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:00.575688+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:00.575688+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"microsoft","venue":null,"work_id":"b3042b18-2d17-4559-8f14-61e5af5da36c","year":2008},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:c8f36a4972ad44e40db4b1093e155b62c9a93fecda56ba124acae7756c92e648","observation_id":"78c3003e-f037-4b6a-b694-8875641f9f77","resolution":{"observed_at":"2026-05-19T18:17:43.735001Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-13188-2_4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: CAV (2)","venue":null,"work_id":"619ca5bb-03ac-4192-ba02-b3c4a4e57355","year":2022},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:cb97d085133a85560a1008742a771f0dc1cc0e1a02ded8ce251e6c18aa9a98ee","observation_id":"7edc1b37-c8c4-426d-849c-667902984c4a","resolution":{"observed_at":"2026-05-19T18:17:43.152172Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:00.988721+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:00.988721+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-38171-3_11","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Gomes, C.P., Sellmann, M","venue":null,"work_id":"67c048e5-9aea-4fcc-8ce9-e2a02c954c13","year":2013},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:2444c43c96c60712794d917447cc643fdd0f5cf6207eeec29eb7860e9776d303","observation_id":"8c579ca1-c511-4333-9818-9a5e215e96cc","resolution":{"observed_at":"2026-05-19T18:17:43.150099Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:01.342347+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:01.342347+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3704899","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T04:50:35.039919Z","title":null,"venue":null,"work_id":"3703f19c-9108-4d7c-9b2a-564cddb84d6a","year":1902},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:91819206fbfedfd4b81692bc0a23247c4b67afa98d011220efe755ffbf8a9da1","observation_id":"73453ea9-0f7c-40ee-b08a-917fcf851a44","resolution":{"observed_at":"2026-05-19T18:17:43.145159Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:01.785492+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:01.785492+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-75434-0_17","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Steffen, B","venue":null,"work_id":"1a20d79f-b3f1-4e47-8ddf-aec97a9cfa2e","year":2024},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:5856797ee01232cedf9ad89d6a755183079ab5e6f9ea6d77ac9d83f1c250ac55","observation_id":"bf7d2daf-8317-4b64-a90f-79293b3274d1","resolution":{"observed_at":"2026-05-19T18:17:43.140407Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:02.165804+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:02.165804+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3158121","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"52295c5f-abf6-4f0d-9b04-d62a9428da7e","year":2018},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:dd99b17790656e29620d11d8906b75b362a1413fcf14c23c2b6d97e1e67e1738","observation_id":"c4e28e7d-eda9-4cdb-90e9-52715242d32c","resolution":{"observed_at":"2026-05-19T18:17:43.135192Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:02.610409+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:02.610409+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Springer-Verlag, New York (2005)","venue":null,"work_id":"fba24110-9dcf-4779-a13f-ff668858446a","year":2005},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:9973daffdeba71ab1b79737775f8995450ee7fd6b184984f594c9ca8ad0dbcb4","observation_id":"f3621d85-3d0d-4ffa-ac5d-03ced0023ceb","resolution":{"observed_at":"2026-05-19T18:17:43.732263Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-72016-2_14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Groote, J.F., Larsen, K.G","venue":null,"work_id":"0b745f32-fa30-4a01-9a53-8d793e2d7852","year":2021},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:210235021a539272a9ddfe7125c3c59abdfcebabeeb01516287c09da4e8ce4e9","observation_id":"15fabef6-25b3-4bd2-ac99-221954df9975","resolution":{"observed_at":"2026-05-19T18:17:43.125574Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:03.106904+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:03.106904+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-72019-3_18","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Yoshida, N","venue":null,"work_id":"eb821a09-a806-4634-b7f0-838be1bc73bd","year":2021},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:24068ab38f925b3be731ce9de0fe3915f572eee840f4537974ef1c6c58b0b8f0","observation_id":"ad35c65e-a447-42cb-b3c5-388d960ed03a","resolution":{"observed_at":"2026-05-19T18:17:43.120144Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:03.604336+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:03.604336+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-90870-6_36","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Huisman, M., Pasareanu, C.S., Zhan, N","venue":null,"work_id":"f1fea8de-8efc-42d2-bb25-539226b3e610","year":2021},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:af12387b2224f6eea8df160afd45ac9320c1b9d4a60b3cbfcef06491de86dbb1","observation_id":"6608b574-03fd-4147-b903-39c87a519662","resolution":{"observed_at":"2026-05-19T18:17:43.114386Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:04.026839+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:04.026839+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3563341","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"78474bdd-8be2-4577-ba51-e1185726a45c","year":2022},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:b9b5516b4a373488e3803fc89df91e0e22c25585fed5b685ce00157904f5dfba","observation_id":"3e3c19be-4fa5-40b8-b68d-829285b27e91","resolution":{"observed_at":"2026-05-19T18:17:43.109455Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:04.440464+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:04.440464+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2366.319239","doi":"10.1145/3192366.3192394","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"In: Proceedings of the 39th ACM SIGPLAN Con- ference on Programming Language Design and Implementation","venue":null,"work_id":"a0401c70-9046-4fb4-bc97-febdf90e7344","year":2018},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:00e9b91c2eb29e5ba707bccd8a7eaedfab20d9f351192e27ff73db3d9e9a8b31","observation_id":"cd8b17eb-0b30-4390-8d5b-c67806216427","resolution":{"observed_at":"2026-05-19T18:17:43.129557Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:04.969237+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:04.969237+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Springer (2002)","venue":null,"work_id":"b338a268-bdfc-4520-9b7c-483f57e8f04b","year":2002},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:614dd2fb69e54d1ae98ed53b1b77f45e74cd3b0df5e686b05935bc525707b85a","observation_id":"c064f514-7ca1-46e4-a486-94a0a35c1ecb","resolution":{"observed_at":"2026-05-19T18:17:43.726245Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3156018","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"ACM Trans","venue":null,"work_id":"29ec6e81-a683-4d49-8aae-f33de73aecd1","year":2018},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:c3e85ab96fe4e13e8ad4ff04af1d185c629f9a3c8424e870ae7320d2293f85dc","observation_id":"4424a6bf-bcad-4b25-8038-6c869519e30f","resolution":{"observed_at":"2026-05-19T18:17:43.073493Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:05.473839+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:05.473839+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Machine Intelli- gence5(1969)","venue":null,"work_id":"f0fac5c0-8822-4f77-90ff-d0aae3cbe878","year":1969},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:cc795fa28b5083f453d8f08755730c143bd2210ac2c2346049b2d22c69e1b98b","observation_id":"35735d8b-d6bb-4116-92a0-5e8c46e9dba2","resolution":{"observed_at":"2026-05-19T18:17:43.720185Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"MA thesis, RWTH Aachen University, Aachen (2024).https : / / doi","venue":null,"work_id":"492811e0-972d-4271-a831-6466ea5225e8","year":2024},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:5d59bd1f456e8a412396c9d4a778380d7d09bdf1d225329c5d0a1b313faa4fc2","observation_id":"fa029593-18ab-40aa-83ea-82e7c8a99ce6","resolution":{"observed_at":"2026-05-19T18:17:43.717354Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.19838026","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"(2026).https://doi.org/10.5281/zenodo.19838026","venue":null,"work_id":"ec9cdc6f-f6cc-4b19-a41e-5dc7d7ec267c","year":2026},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:94daaebbedd8a6bdeeeea285d0387bb5dd792dc99ccf886324a3625f9a7d800e","observation_id":"ff5d7e19-b275-4743-9781-208d5be8e3b7","resolution":{"observed_at":"2026-05-19T18:17:43.104024Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:05.905843+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:05.905843+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3622870","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"260cef6b-b2ac-47f0-80e6-d207dd9bfc7c","year":2052},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:b33f40f43ae57e389bc482dfddf138d77037d228e36607e9e83859cd31acee36","observation_id":"e450d887-f634-4862-9060-0d086865b7f0","resolution":{"observed_at":"2026-05-19T18:17:43.091824Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:06.388622+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:06.388622+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T14:16:16.764150Z","title":"In: Proc","venue":null,"work_id":"452f975d-5e1f-47e0-967f-db1ed9da0d80","year":2025},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:ef9d043884d64b4adec5920910cfb09aaa98d5d2ac71aafaf12319a05938fae5","observation_id":"932ba760-8fb1-4f1b-bba8-450bd283eda9","resolution":{"observed_at":"2026-05-19T18:17:43.089116Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings","venue":null,"work_id":"9dcc7aa4-4d44-4f6b-b444-03f0bfa38d9e","year":2026},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:4ef7ec25b7384c718bcf56af4368af8a3e0311c105f42c9c90883ffa084769ef","observation_id":"9c09c8bf-7bae-4733-ab4d-ffd10c827a70","resolution":{"observed_at":"2026-05-19T18:17:43.714304Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"(2024).https: / / github","venue":null,"work_id":"d6bc37b4-1c34-42cc-bf98-faf9f209629d","year":2024},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:9a9da4609bb9aba3749de171b55a22eac8981a370a3c285243b67d0d32e875b8","observation_id":"86c75755-6472-4e90-9d09-b23ea641abf6","resolution":{"observed_at":"2026-05-19T18:17:43.710211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3704874","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"bea0268d-9c41-4640-983b-90c7cccb325c","year":2025},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:92cc7f13264cdeb3566e93e1b33291eadf5dac86a7355e5eb4e8bf2cc8cb6d65","observation_id":"072b1dd7-2d88-43ee-bc72-a0b88f033956","resolution":{"observed_at":"2026-05-19T18:17:43.079274Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T07:24:06.828692+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T07:24:06.828692+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"(2023).https://github.com/dafny-lang/Dafny-VMC","venue":null,"work_id":"52234dd1-050d-4c06-85e1-c77f589bae30","year":2023},"citing_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-05-19T18:13:11.799609Z"},"links":{"citing_paper":"/paper/2605.15827"},"observation_digest":"sha256:2680847c60637cee63792ab4af7d347fc15b82f35fe30c41783801001f8ca372","observation_id":"0671c6d5-d508-4b1d-8ff2-3af196291d35","resolution":{"observed_at":"2026-05-19T18:17:43.705999Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-07-06T23:27:05.961780Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs"},"reference_resolution":{"displayed":74,"state_counts":{"malformed_identifier":9,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":1,"verified_exact":47,"verified_fuzzy":15},"total_outbound_references":74},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 4 August 2026, this Paper Citation Record lists 74 of 74 outbound references and 0 inbound Pith citation observations for arXiv:2605.15827."}