{"as_of":"2026-08-21T15:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5c9c0f14149ad71c9b90e0c8dd13567fbe02f36e81c5cef1d994a48828033c95","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T15:11:07.417677Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+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/2608.13268/citation-record","integrity":"/paper/2608.13268/integrity","json":"/paper/2608.13268/citation-record.json","paper":"/paper/2608.13268"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8742.21874","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:08.199234Z","title":"1995.Domain theory","venue":null,"work_id":"c765002d-6312-448c-9f86-7899fb900a2b","year":1995},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.240158Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:e87462b9cec22d9a928fbb09f336020f0fe7d51f96fd573d6d5b91ebb7fb8e96","observation_id":"9bd1f7f0-f419-4d3d-b065-41885e7cabf2","resolution":{"observed_at":"2026-08-14T15:11:08.204900Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-46681-0_22","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"9035), Christel Baier and Cesare Tinelli (Eds.)","venue":"Lecture notes in computer science","work_id":"4a952d0d-00ca-46a3-8660-506572516bdb","year":2024},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.259108Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:57e8d5f75c3d3cc50a37ed334d52a425b60c936715fc85d1ff53b84062a965b5","observation_id":"265948c6-9826-47b5-b5b7-159eb7810830","resolution":{"observed_at":"2026-08-14T15:11:07.722975Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-77050-3_39","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"84655446-eb5f-4d8a-abfa-490bd81fa50f","year":2007},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.276808Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:bc72292dec4517eaf52b926a7cafbd928720e159e7ef38602f94444d540df03f","observation_id":"cc8ad59b-91f2-4a2e-8490-1453d633b03e","resolution":{"observed_at":"2026-08-14T15:11:07.675227Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.289391Z","title":"8054), Kaustubh R","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.289391Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:45e4c2f306f8c2d06daa9e6eb5592d60035275c81f3e6faabd732252388e94be","observation_id":"1b2f215a-f268-475c-a3a8-11c734f2ccb4","resolution":{"observed_at":"2026-08-14T15:11:07.289391Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-28869-2_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"7211), Helmut Seidl (Ed.)","venue":"Lecture notes in computer science","work_id":"f65009d4-a32a-4626-a8cf-a0fa658c5379","year":null},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.297020Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:7de47e2b8fa7057a1fcc38d0818fe0baefbdfb096a5d2d4930d8052c776bfd39","observation_id":"0fd7889a-8fee-459d-802f-76547587f8dd","resolution":{"observed_at":"2026-08-14T15:11:07.632248Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.305108Z","title":"Methods Comput","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.305108Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:9aa199dc241d9dc50854da7277acd7e83c4f12fcc788400c542dcf6278bd077d","observation_id":"4d88a2d7-5526-4347-9503-922b18506a60","resolution":{"observed_at":"2026-08-14T15:11:07.305108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.308758Z","title":"In Reachability Problems - 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings (Lecture Notes in Computer Science, Vol","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.308758Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:1743c92d07c7a22ca5b71526b6d9f5733bd73c4306ac408c0a63d3481430c996","observation_id":"b772dcd8-e93a-493f-bb1c-36045dbc80ed","resolution":{"observed_at":"2026-08-14T15:11:07.308758Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.320480Z","title":"6605), Parosh Aziz Abdulla and K","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.320480Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:7ea08470fa3e659db026a64f91ab6132f8a63b4d031273c2c8258d1d93c30829","observation_id":"bf777553-8f31-42c6-9d50-ffaaba7f99cf","resolution":{"observed_at":"2026-08-14T15:11:07.320480Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:08.269349Z","title":"InAutomated Technology for Verification and Analysis - 10th International Symposium, ATV A 2012, Thiruvananthapuram, India, October 3-6,","venue":null,"work_id":"e11a8591-5537-4b54-8b4f-9c98c287a7c2","year":2012},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.324465Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:4b5aa9333d3fe6ed00a230677d409d9e48252ebae28921f214112ccfd6ed5845","observation_id":"2996ce70-91b8-45d3-a53d-3d765901959f","resolution":{"observed_at":"2026-08-14T15:11:08.274811Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.328001Z","title":"7561), Supratik Chakraborty and Madhavan Mukund (Eds.)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.328001Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:74c02b131772165eba3123f4517164faf928b969d8051ef9288979ce34e4bdf2","observation_id":"d3c5e0cb-1354-4fa6-b040-c7d31f08b7b1","resolution":{"observed_at":"2026-08-14T15:11:07.328001Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.331853Z","title":"ACM Program","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.331853Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:6f1c5a17aec17532b5a68dab462e6bcbbac5e5593bb6a3e27c6f6d3c407f36f7","observation_id":"dc4361dd-33fb-4776-a3b9-44d6196b3500","resolution":{"observed_at":"2026-08-14T15:11:07.331853Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.347379Z","title":"Methods Comput","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.347379Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:9ce03489481dd2b149d8141bcffeec9a51abbfe6087e7ad39df59564f4bfd447","observation_id":"78d01172-2262-46e1-b503-ad4eaa87b9ad","resolution":{"observed_at":"2026-08-14T15:11:07.347379Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.360356Z","title":"InProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018, Jeffrey S","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.360356Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:8bea60068f6c4695830cea64b91d23d096e1964a926ee860648d707da894f5cb","observation_id":"8bed1c74-2d0c-4dd8-982b-bc870ad067a7","resolution":{"observed_at":"2026-08-14T15:11:07.360356Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1287/ijoc.1100","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.511377Z","title":"Comput.23, 4 (2011), 493–517","venue":null,"work_id":"69b19ab4-548c-4406-b439-55b5d4c2432a","year":2011},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.367887Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:e32cd5e6bede4c669c40c989b7519b295f7773aea4637d364d5e88dce3e315b7","observation_id":"a61760c8-98a0-4544-9577-1574974d6f3b","resolution":{"observed_at":"2026-08-14T15:11:07.515675Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.376458Z","title":"InAutomata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings (Lecture Notes in Computer Science, Vol","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.376458Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:d888e16dde20ecfc86b18f2c5f2e79e722994a198ac997278e1ae0691ae060ff","observation_id":"e64c25c7-e25c-468c-ab48-bc662b96fc4c","resolution":{"observed_at":"2026-08-14T15:11:07.376458Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.401526Z","title":"InPLDI ’21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021, Stephen N","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.401526Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:b3cacde1fcd162b825552acb6beb66aea97b6b6d661250431243aa49ae3aaa0e","observation_id":"8a511a36-1a64-4af8-864d-8fc4e5c2c7e1","resolution":{"observed_at":"2026-08-14T15:11:07.401526Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.14010","last_updated":"2020-09-22T03:52:07Z","snapshot_observed_at":"2026-08-02T18:10:40.717767Z","submitted_at":"2020-06-24T19:27:24Z","title":"Raising Expectations: Automating Expected Cost Analysis with Types","version":2},"cited_work":{"arxiv_id":"2006.14010","doi":null,"metadata_source":"pith","pith_arxiv_id":"2006.14010","snapshot_observed_at":"2026-08-14T15:11:07.734072Z","title":"Raising Expectations: Automating Expected Cost Analysis with Types","venue":"cs.PL","work_id":"b819c909-d7cb-4a24-b7ef-930fce58e7b3","year":2020},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.405199Z"},"links":{"cited_paper":"/paper/2006.14010","citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:954047b4260058758327f8f804f1aafad91d9311481efc1d7164d5c3be7e9c79","observation_id":"0cb554f5-851f-4e5f-9fa5-c67bb439d31d","resolution":{"observed_at":"2026-08-14T15:11:07.738908Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:08.212875Z","title":"InProceedings of the 35th International Joint Conference on Artificial Intelligence and the 29th European Conference on Artificial Intelligence (IJCAI-ECAI 2026)","venue":null,"work_id":"b48d7a6f-c9a7-4e1e-8107-7a74b7a51913","year":2026},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.409264Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:434a7014f1124c1decc4ef2178138adbad48a08abf6fdc4b0589e4296b481457","observation_id":"12334431-7343-42e1-8a2d-bb16b455ce11","resolution":{"observed_at":"2026-08-14T15:11:08.217213Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-14T15:11:07.397285Z","title":"2002.1029838 Di Wang, Jan Hoffmann, and Thomas W","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":299,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.397285Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:6f6dc76669f0e87dcc7c2e4ac151de05b99515e200688f1106f2db2938edf66b","observation_id":"3fb904f2-abf9-4534-8ca6-69a6279ef0e0","resolution":{"observed_at":"2026-08-14T15:11:07.397285Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:08.242216Z","title":"Math.5, 2 (1955), 285–309","venue":null,"work_id":"57234a63-5c6b-44c9-9bac-8b14786d2423","year":1955},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":1955,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.385484Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:5c55ea6c8265bc5a2cd8f530e3b4084e2a063c51a7ffc073dd48b6248aeb5c76","observation_id":"00eea400-f881-4825-a478-97d4711228ce","resolution":{"observed_at":"2026-08-14T15:11:08.246966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-10007-5_48","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"InAbstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings (Lecture Notes in Computer Science, Vol","venue":"Lecture notes in computer science","work_id":"f2b0df4c-81e9-45f4-a6c0-bc6533a29b08","year":1979},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":1979,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.363971Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:2512e2af7619a2324c411f80b1ff2a21e3990c99009e213640e3619e0f242110","observation_id":"4da9d191-5b7b-4d8f-8797-822e21adfbb9","resolution":{"observed_at":"2026-08-14T15:11:07.528835Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0022-247x(82)90122-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-20T11:03:42.707129Z","title":null,"venue":"Journal of Mathematical Analysis and Applications","work_id":"cf3de2a5-a47f-4bbe-8a10-34ff9586224e","year":1982},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":1982,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.412781Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:2e61fa7ae652f0237aec6f30bbcae903fe18a35c8c7e73db2fb8fd6d4a5cbcef","observation_id":"377a58b0-bc39-4621-a723-7cc58c1d28e6","resolution":{"observed_at":"2026-08-14T15:11:07.459322Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1137/0321030","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.565776Z","title":"Control Optim.21, 3 (May 1983), 490–499","venue":null,"work_id":"468c60ac-cece-4312-a454-d34849e4f3c3","year":1983},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":1983,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.336341Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:e17bd92e95b02bcd9875231ea1abcf98981a8a7e163054ec0604aeb2c43e053f","observation_id":"9b3587ec-5629-4db7-99ef-26ab84d65843","resolution":{"observed_at":"2026-08-14T15:11:07.570876Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.351382Z","title":null,"venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":1985,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.351382Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:650a3134923aedce655bb0b2ccddb432ed8c6095ba8399a94b12cc9754a2f037","observation_id":"0de0e65d-ee48-44fb-ba83-013358eaee49","resolution":{"observed_at":"2026-08-14T15:11:07.351382Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.380502Z","title":"https://doi.org/10.1016/0377- 2217(93)90192-P Valeriu Soltan","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":1993,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.380502Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:559c6935308a0581d79e56330ac79b42194f23e8bc082e2aea6e4fe3d77f5c61","observation_id":"72ab6256-195c-4321-8ab0-be87ff0d32e8","resolution":{"observed_at":"2026-08-14T15:11:07.380502Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9542.22954","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.994200Z","title":null,"venue":null,"work_id":"8db1f89e-c365-4ca4-bc20-6bc8d9318e8e","year":1996},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":1996,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.356718Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:71d84322af0ab8d8282c0c336f8cae0a019b0ec37ff5465677770c4855559539","observation_id":"44a3a06c-abe7-48be-a7fc-96fbafb375e3","resolution":{"observed_at":"2026-08-14T15:11:08.002929Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s1571-0661(05)80746-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.468292Z","title":"InWorkshop on Domains IV 1998, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998 (Electronic Notes in Theoretical Computer Science, Vol","venue":null,"work_id":"187a426f-11f7-438e-afa5-cc0ea2105989","year":1998},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":1998,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.389194Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:387d1936625be91df8a8eaa298c0d966c132144eb39d7cb65b8866ae859c0134","observation_id":"496cb5fa-cff3-4d80-ada2-0b1c25f39757","resolution":{"observed_at":"2026-08-14T15:11:07.473537Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:08.227730Z","title":"In17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings","venue":null,"work_id":"9ccbe222-5edb-4562-b0ff-43e105b606e5","year":2002},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2002,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.393487Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:b77d31545e288c17736bc60d6ce0df9b0ea4719329c60d4703cc12147f484b20","observation_id":"5bc7eec3-921a-436f-b2d4-bc9c4a5aa4cf","resolution":{"observed_at":"2026-08-14T15:11:08.232460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11672142_26","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"InSTACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings (Lecture Notes in Computer Science, Vol","venue":"Lecture notes in computer science","work_id":"eddb77b7-a331-4be6-9955-f11ca4ea1b5c","year":2006},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.280591Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:e31b928b35c4f252959088cb86beab47a4998c8428c697db5f19a16a8f87615d","observation_id":"9a5fd2e8-18ad-4a1e-87c6-ba3e4d747de6","resolution":{"observed_at":"2026-08-14T15:11:07.662045Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11225-007-9052-y","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-19T11:03:45.297681Z","title":"https://doi.org/10.1007/S11225-007-9052-Y Krishnendu Chatterjee","venue":"Studia Logica","work_id":"a3e62cd7-a36e-4296-9982-852b5471f7cd","year":2007},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.272562Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:05950812a267d24b7dd0db53f58c6354b4c70ff475455672b8b974298bcd722f","observation_id":"f88f2f0f-efb2-4c23-89c7-8f6995b6cddd","resolution":{"observed_at":"2026-08-14T15:11:07.688531Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.249622Z","title":"InMachine Learning, Proceedings of the Twenty-Fifth International Conference (ICML 2008), Helsinki, Finland, June 5-9, 2008 (ACM International Conference Proceeding Series, Vol","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.249622Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:41b329ec396ed9692d73adbbe41b894a0b4cdd16f1e8e3580e5efb440535273f","observation_id":"4b59193b-4005-403f-ab6b-df0a31f6a3db","resolution":{"observed_at":"2026-08-14T15:11:07.249622Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129509007555","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.552991Z","title":null,"venue":null,"work_id":"c0c7a17d-1a59-475c-b622-3302e83a893b","year":2009},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.343485Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:979df650a76d460d1fb9a61b60b92f76cd15fd7ce5b2b48d17c5a1e96e88db59","observation_id":"e9d7f6b9-fe42-4941-a4dd-9dabe7f49cfb","resolution":{"observed_at":"2026-08-14T15:11:07.557056Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:08.283256Z","title":null,"venue":null,"work_id":"05833fb7-5cf1-4990-947d-547df3cf33e9","year":2011},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.316537Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:a27d4b71bef8ad1910b1eafddec362b9e0c8e759ce2a5ae0e6ab0af902f171a0","observation_id":"cd72621b-a024-4407-961f-b99da736270b","resolution":{"observed_at":"2026-08-14T15:11:08.288127Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:08.309389Z","title":null,"venue":null,"work_id":"0c5d907f-57ec-4a3b-94a9-0da20e76cc1f","year":2012},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.293374Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:c82f81b80042c1c849ccdc0d2d03491f161258495aa334ed73f8c45dd2d80cb2","observation_id":"a387f96c-bcba-4601-a0fa-4d430ddbdc06","resolution":{"observed_at":"2026-08-14T15:11:08.313198Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.284327Z","title":"8087), Krishnendu Chatterjee and Jirí Sgall (Eds.)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.284327Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:be6a6ed369c91d32ca70226d6221c6e539da17ecddfd1f67a781e3ed069cfa6d","observation_id":"f615fee6-5117-4760-b2ac-08626ef9d0f4","resolution":{"observed_at":"2026-08-14T15:11:07.284327Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:08.320480Z","title":null,"venue":null,"work_id":"8af3e2e9-5f34-45e2-8842-afe3747f9887","year":2015},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.253708Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:d55d9f94bec2d0a496c5b004d796fcd9fa594bff0435247c7eb9419ecb770540","observation_id":"f359a6ec-249c-4284-92aa-61ea9bf8c871","resolution":{"observed_at":"2026-08-14T15:11:08.324533Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:08.296855Z","title":"https://agentmodels.org","venue":null,"work_id":"2d7cebf4-2e9e-4a36-b796-0d55632403f8","year":2026},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.313003Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:75cb9a96d9d1f5217649ef1717a5274f2458cd3637aa3fd839e3cf0bbac3dc03","observation_id":"fcda0297-faf3-409d-804b-b5bba04dce8f","resolution":{"observed_at":"2026-08-14T15:11:08.301017Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:08.255308Z","title":"ACM65, 5 (2018), 30:1–30:68","venue":null,"work_id":"3025d576-ff54-49cf-bb6b-53b0a00a8590","year":2018},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.340078Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:4dbc6e6e3a6ba79cc9913b4cd10235dd9e5accd7aa6ae4d7e7e3f1181f44bb31","observation_id":"ed7db7be-eb3a-48bc-9a8d-7fda7df5c3e9","resolution":{"observed_at":"2026-08-14T15:11:08.259526Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.245506Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.245506Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:6c243e7ca0592062d6fed788d3d2a2b2d80fba736e2855198967b7b650b1e967","observation_id":"31a6d54a-ea39-4ba6-8253-fd5daa3e3d98","resolution":{"observed_at":"2026-08-14T15:11:07.245506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-81688-9_25","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"InComputer Aided Verification - 33rd International Conference, CA V 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Lecture Notes in Computer Science, Vol","venue":"Lecture notes in computer science","work_id":"ecc56172-fd7d-409d-9e02-57435cd1be6d","year":2021},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.264036Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:593f2877fe1d83b38bc351c85852bed3df6feea9612b9589ee9f0b0798e98cbf","observation_id":"2bc14d46-fdaf-4899-8a8c-4d5ecffd5e11","resolution":{"observed_at":"2026-08-14T15:11:07.710504Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.268631Z","title":"ACM Program","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.268631Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:91f43726e9e35eb2fb6a776bc555001038fc17f9a8d344fdcc95924f6a5405a8","observation_id":"cc6d6491-3753-4510-8fa6-c03e7475dbbd","resolution":{"observed_at":"2026-08-14T15:11:07.268631Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.300802Z","title":"ACM Program","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.300802Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:790951492fea719aabddbc629aa008da591cab1478975926008fae7970fafd56","observation_id":"4c7efcf0-8ba2-4d9e-9dbe-e0bf10fc37ae","resolution":{"observed_at":"2026-08-14T15:11:07.300802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:11:07.417677Z","title":"ACM Program","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.417677Z"},"links":{"citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:36f8dbfa1b9c9f1bcc6b2dd30e88596c21cec1b95f6abb4e0069ef8829d09131","observation_id":"c655dddc-f691-4cb0-b730-e7aefd0fba3c","resolution":{"observed_at":"2026-08-14T15:11:07.417677Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.15827","last_updated":"2026-05-15T10:27:07Z","snapshot_observed_at":"2026-08-16T07:34:31.075731Z","submitted_at":"2026-05-15T10:27:07Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","version":1},"cited_work":{"arxiv_id":"2605.15827","doi":"10.48550/arxiv.2605.15827","metadata_source":"pith","pith_arxiv_id":"2605.15827","snapshot_observed_at":"2026-08-14T18:16:19.847625Z","title":"Caesar: A Deductive Verifier for Probabilistic Programs","venue":"cs.PL","work_id":"9bb91fcc-0d70-44c2-8073-ce0d4ac50816","year":2026},"citing_paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-14T15:11:07.371943Z"},"links":{"cited_paper":"/paper/2605.15827","citing_paper":"/paper/2608.13268"},"observation_digest":"sha256:5e339e9d3bcaa4a0e72aaa6b369fffe0001c3d9bec5762a2fa10dc489a88d4c7","observation_id":"90cb1692-722e-477f-bc64-8db099a189ec","resolution":{"observed_at":"2026-08-14T15:11:07.503219Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.13268","last_updated":"2026-08-13T14:06:58Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-21T10:13:17.224505Z","submitted_at":"2026-08-13T14:06:58Z","title":"Multiobjective Preexpectation Reasoning for Probabilistic Programs"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":7,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":17,"verified_exact":12,"verified_fuzzy":5},"total_outbound_references":44},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2608.13268."}