{"as_of":"2026-08-08T08:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fb93b81724a6a7bcb585789a7a14a360bd526ec985d148ba2dc786deb11fd5c1","coverage":[{"denominator":76,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":76,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:48:14.902187Z","state":"measured"},{"denominator":76,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":76,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.07066/citation-record","integrity":"/paper/2506.07066/integrity","json":"/paper/2506.07066/citation-record.json","paper":"/paper/2506.07066"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.844603Z","title":null,"venue":null,"work_id":"335c6338-c314-4134-a366-249bcdf26d29","year":2007},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.642221Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:80a5bded5765ac5bbd062ede8ce473cba1e66c7bee15c4f00565ce845be4d155","observation_id":"5651adfa-c888-44c5-97ca-491cdd584866","resolution":{"observed_at":"2026-08-07T05:48:15.847839Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.834895Z","title":null,"venue":null,"work_id":"92964cee-2b13-4d9c-b7e9-8afa6abe7be6","year":1953},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.646248Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:64457a779b00efe41457f16827aee359303aa0488f020c2eec609a922c86cf8c","observation_id":"aabc7353-c2b0-4fc1-a28d-ab843e4d4b96","resolution":{"observed_at":"2026-08-07T05:48:15.838304Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.824982Z","title":null,"venue":null,"work_id":"f9e29c16-9694-402f-823a-19d32e7815fa","year":2018},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.649778Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:514de02c73aa08798c238dd241b2aa8c9c2d0cdff1b284d5713ee796632941c4","observation_id":"0e45ee45-5876-4d4e-bada-e34bf7d5cc8d","resolution":{"observed_at":"2026-08-07T05:48:15.828357Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.814967Z","title":null,"venue":null,"work_id":"60903e4f-dcac-47dc-a005-b3d2898a48f3","year":2022},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.653476Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:786663b54e2b60ba0c3478048352d95c49a62fb29e789769bf6ad25c9474c0bf","observation_id":"ed40afdd-f167-4b1b-945c-4844df65a35b","resolution":{"observed_at":"2026-08-07T05:48:15.818537Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.805178Z","title":null,"venue":null,"work_id":"274c7955-d78a-465e-aced-7bf4d06226c2","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.657017Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:9583cbf8840293762f6e0f9db9d655f6967a6cce11dcd1f202dbf26c0dd9c762","observation_id":"23666da0-a99f-4792-a2dd-2057c34c48df","resolution":{"observed_at":"2026-08-07T05:48:15.808525Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.794678Z","title":null,"venue":null,"work_id":"b5e9fd86-c28c-4e4b-bbd0-473220de4d6d","year":2013},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.660813Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:91d52a7516333a76ccb3f84a8c8e5c9d80d512b68a87540f87279be11c25816a","observation_id":"cd3f845a-959b-4f0e-a139-e9a2c7a95960","resolution":{"observed_at":"2026-08-07T05:48:15.798039Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.784952Z","title":null,"venue":null,"work_id":"ad1cf752-5e14-4bdd-82b7-881e21ebddc7","year":1983},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.664418Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:aaa7993d43fc497263452106f9cdda636603a44ac68e334985fe441aa7f3c2eb","observation_id":"1dd2615e-aee5-43f5-881a-88bf00161f0d","resolution":{"observed_at":"2026-08-07T05:48:15.788360Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.773655Z","title":null,"venue":null,"work_id":"f790f1b9-f60e-4dd0-a11d-14f73e3219f1","year":2011},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.668083Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:ed4e1627b0825176083bb0652771661bb99f5d9f13674994a482eef4cd696cce","observation_id":"d09c6b05-70f8-46e2-92ec-c55570f2e694","resolution":{"observed_at":"2026-08-07T05:48:15.778194Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.763239Z","title":null,"venue":null,"work_id":"554b64ca-e19b-480e-872d-3a8d0746ca32","year":2018},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.671317Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:d5dc0925dff0722bd7a5425168088c2c6a6d43b46b0b81ce4a8b4d7b0b2c8ebf","observation_id":"ccc96722-fc12-41cd-b47f-8643df0f2bb2","resolution":{"observed_at":"2026-08-07T05:48:15.766690Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.753122Z","title":null,"venue":null,"work_id":"1675d232-4a7d-4caa-9b2c-c2132fd37529","year":1961},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.674669Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:3e8f061734573d205655ff4a7a623ef5e4f2f1a355e847b64d8b4da2ded8845c","observation_id":"01a913ec-e37f-4915-8b3d-226b13c64dda","resolution":{"observed_at":"2026-08-07T05:48:15.756635Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.742638Z","title":"G., & Schneider, M","venue":null,"work_id":"7c2e24e6-6fa8-4451-9e66-20ae8a4f8042","year":2003},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.677900Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:aee6296e631b2370ed665f64b84af6b4b56d25b2f22ff47989204a067f279c1a","observation_id":"7cdd2a68-9243-4804-85f7-ac04a762b194","resolution":{"observed_at":"2026-08-07T05:48:15.746083Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.732632Z","title":null,"venue":null,"work_id":"f082926a-cca3-4d23-a94a-6f01aa25ffd9","year":2004},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.681385Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:931ef713de9e8b2732a7c8ff54d1cb015b9ff383a7d2ddfff3012eb05b69e5a9","observation_id":"53d2ba3e-bf70-4ba0-9a18-ee5e0f104e51","resolution":{"observed_at":"2026-08-07T05:48:15.735993Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.722073Z","title":null,"venue":null,"work_id":"24f398c8-501e-4ebe-a427-913f5cf78803","year":1989},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.684757Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:2a9d58b41a99270376125c430e7d8180d070b862dddeed037d3471a811f56751","observation_id":"b27d85dc-152d-4bc5-b1de-d9ee8c7589fc","resolution":{"observed_at":"2026-08-07T05:48:15.725639Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:14.687945Z","title":"P., & Sargent, T","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.687945Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:e3a1fb9fecfc8e317e44e0d077a72b86ef090b729b049aceb92a364e962bb7a1","observation_id":"4a823446-1d7b-4deb-8fe3-eb5292cc6720","resolution":{"observed_at":"2026-08-07T05:48:14.687945Z","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-07T05:48:14.691093Z","title":null,"venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.691093Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:a73478d25ba4c0c42333dcff787b15eacf43b91ef0c1c7bed76be5a4b7d2a951","observation_id":"d0904df3-4c45-4848-943c-f6e741bc127c","resolution":{"observed_at":"2026-08-07T05:48:14.691093Z","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-07T05:48:15.699553Z","title":null,"venue":null,"work_id":"2eb12403-4d07-4d1b-b828-a4200b67a753","year":2005},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.694592Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:d74fc2e84ca48f5685533ff188c1339cefd5d8c043a9c24cf6105d136a7f528c","observation_id":"8f48fc04-7d1c-4598-9287-af35bda7687a","resolution":{"observed_at":"2026-08-07T05:48:15.702715Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.690134Z","title":null,"venue":null,"work_id":"4a3a3ab2-232c-4fed-a496-b0e70ed4328f","year":2021},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.698093Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:bfd666c06b53c591e364883fb37a8007ea74722c4c318cd06313b0ee73e32c70","observation_id":"cd45266b-5011-4622-93ef-7c24c1b9d350","resolution":{"observed_at":"2026-08-07T05:48:15.693510Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.680372Z","title":null,"venue":null,"work_id":"570fb76f-01b8-4090-8b83-048261a675a8","year":2024},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.701214Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:671d782c59be3721377e632dbbef74110ddf8892427744811b7fb2ec999243bf","observation_id":"84240888-ebfa-4c03-be29-d4b5c98cb8bc","resolution":{"observed_at":"2026-08-07T05:48:15.683552Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.670400Z","title":"J., & Siniscalchi, M","venue":null,"work_id":"760fd66f-3a8e-43b4-8313-576a8b229064","year":2014},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.704824Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:22dc0030204b10ffccb60395785d5b82bca4d4620a908dd1efeb60cbe5de6583","observation_id":"4ccf0e49-9232-423e-b9e1-8f887954de2c","resolution":{"observed_at":"2026-08-07T05:48:15.673880Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:14.708236Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.708236Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:eeeeea65168430b18f28ebdc0115ec61837eecaf87e840be16ce69e22314792a","observation_id":"2c216351-0103-4c00-b056-d33205037e48","resolution":{"observed_at":"2026-08-07T05:48:14.708236Z","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-07T05:48:15.660625Z","title":null,"venue":null,"work_id":"f2e3b233-41ad-4892-acb1-9b6604f40346","year":2004},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.711707Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:eb98965c2b5e3b5e4f0223025f72545de506cd43df326cf03cde3bab9f6bceb9","observation_id":"9641e237-6d87-4e5b-9710-2a728d7a2599","resolution":{"observed_at":"2026-08-07T05:48:15.663759Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.651007Z","title":null,"venue":null,"work_id":"8397390d-4526-47ea-b0f3-22a2337041d0","year":1982},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.714972Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:0a81940ab38c3391925d6b6060988e2c6f1e083bf67f897425a07854f9e7ee26","observation_id":"c562de07-0424-49b8-b93a-dce4dc79cd62","resolution":{"observed_at":"2026-08-07T05:48:15.654595Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.641954Z","title":null,"venue":null,"work_id":"5b16999a-dc36-4591-9ac2-40ceef2e847a","year":1993},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.718271Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:c13b16d541eb42ac36de976cc29d3ea7e857b71a73610726e8de834afbf24ec5","observation_id":"a063aee6-4968-405c-aea3-02d2f5a51dc8","resolution":{"observed_at":"2026-08-07T05:48:15.645026Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.632543Z","title":null,"venue":null,"work_id":"b0ff9ff4-759a-40d9-b893-d0129c732094","year":2019},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.721630Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:61985ed9f8e75d76681d41b0dd02ac94deea1606b5488a547f7c75a6c779df0b","observation_id":"82591821-4207-4d24-9a55-90fb6705ecf9","resolution":{"observed_at":"2026-08-07T05:48:15.635759Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.622912Z","title":null,"venue":null,"work_id":"9df2def0-c61a-4d84-ab60-25066359fbfa","year":1989},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.725146Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:32d357bb5b344bc9e75488807ad7b0edaaf3544fa26f62a62294b7617bf60cb0","observation_id":"c51ddbd7-fab3-4314-8815-2c74bd444a8f","resolution":{"observed_at":"2026-08-07T05:48:15.626055Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.613802Z","title":null,"venue":null,"work_id":"30aa443d-72d2-479e-800e-fc51e95be154","year":2011},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.728346Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:1ec79ff679afeea16aeb8ad62912f219cc9b6706cb16946e5b31fd04b8763b97","observation_id":"c87646eb-409d-4318-9780-56a38288adfa","resolution":{"observed_at":"2026-08-07T05:48:15.616976Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.604123Z","title":null,"venue":null,"work_id":"98908753-9c42-48ae-a889-ca3a96e5b758","year":1992},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.731551Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:16d32c4c598256deb28b9bf6c79db1b8b232490a7ec10bd9e25d18f0ff69a1a1","observation_id":"c6fac2df-12fa-48cc-a32b-1843fe060777","resolution":{"observed_at":"2026-08-07T05:48:15.607612Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.594665Z","title":null,"venue":null,"work_id":"e87e2ccd-bdec-4f03-a516-62c71ca5c2fb","year":2019},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.735135Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:d424a1e449943d3b3bc89595f1e5d7239a2f7065ad3d0761c5126cfb9858a1cf","observation_id":"cc4acdab-543e-4c4f-a3de-dab4a39a97f0","resolution":{"observed_at":"2026-08-07T05:48:15.597964Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.585512Z","title":null,"venue":null,"work_id":"4f1e32cf-9dbb-4074-a837-8bbe74c11a9d","year":1944},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.738493Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:9562279de7b00124004eece271ad6a1720d7940d8794f221756d3ba1436a80b0","observation_id":"18f13595-6eec-4aa7-8ee2-5c8702657991","resolution":{"observed_at":"2026-08-07T05:48:15.588566Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.576444Z","title":null,"venue":null,"work_id":"60779068-b09e-4212-9f03-c32bb5591f98","year":2010},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.742045Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:454fba8b7c02bdf618608fff20793f2a9abd0087616f5e89e6674bec0d39779d","observation_id":"26f24512-271f-4931-bdf6-6318b6a00f6e","resolution":{"observed_at":"2026-08-07T05:48:15.579771Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.567335Z","title":null,"venue":null,"work_id":"4b2b7692-d66b-4ad6-bf6c-be63ec1a0bff","year":2022},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.745468Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:5e7405e16e82e3ec35c12f3eb108d9fb6f2d68c6f16262e57a5ecfe900545f45","observation_id":"ac20c740-3e52-4de1-93f2-a1e83b820326","resolution":{"observed_at":"2026-08-07T05:48:15.570524Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.557816Z","title":null,"venue":null,"work_id":"93ec781a-7b1c-4136-8b4a-3b09e4183558","year":1987},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.748908Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:c64aa4b312c3c14415e572f789028322a36771e70c1419a14e7d50078d18241c","observation_id":"a72236d6-fd96-436d-ac45-32eb2b11eb8d","resolution":{"observed_at":"2026-08-07T05:48:15.561490Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.548083Z","title":"• Since q is a lottery, q(x) ≥ 0","venue":null,"work_id":"c8b06014-335e-42ac-9201-2b9c4e2bbf00","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.751889Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:555769734a01b1e3f686bfa39ea97f1d3691f823b5707d618858536d837d3a0c","observation_id":"03ddf438-f2fa-4cff-8a80-979768a51624","resolution":{"observed_at":"2026-08-07T05:48:15.551381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.538236Z","title":"Lean: rw [p.property.2, q.property.2]) = α + (1 − α) = 1 (by arithmetic, Lean: by ring) Since both conditions are satisfied, L = mix(p, q, α) is a lottery","venue":null,"work_id":"d6e16f4b-2814-41d1-acaf-d0f85ccef695","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.755303Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:868edecf21ec04f7b563013f123601ddb8966397efcf0cf7b4f6691ddc88a185","observation_id":"97cfaef9-f1a1-49f4-add5-3dbbda1330c0","resolution":{"observed_at":"2026-08-07T05:48:15.541862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.528791Z","title":"We want to showp ≻ r","venue":null,"work_id":"95901c56-1406-4d20-b546-1ab6e75480d2","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.758636Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:b8a142ddc39ed752c0d9ae6cf48399d112fc601ff6e2808a7c7f5461efd9ba14","observation_id":"0aedc84b-8408-4ba1-b94a-00677f4c2d9e","resolution":{"observed_at":"2026-08-07T05:48:15.532102Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.518854Z","title":"In either case, p ≿ p holds","venue":null,"work_id":"567629b4-507c-4e68-81a9-f7953bc4ca2c","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.762315Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:66fc46940f95ed1d5a8b56fa4bddd366a1dd1c7193434785126c8fcd8d20c18f","observation_id":"3640552e-3d13-450e-8f7d-1f10bbb53e3c","resolution":{"observed_at":"2026-08-07T05:48:15.522384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.509176Z","title":"Assume for contradiction that p ≻ p","venue":null,"work_id":"96e76c6a-bc5b-4a0b-b059-6f9677368829","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.765671Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:ad959b8742a2a3e5bc10cf4416667d870575fb3da918716eb5a4e02fa52275af","observation_id":"06fe1f76-a3b0-479f-9617-57e71b66ba80","resolution":{"observed_at":"2026-08-07T05:48:15.512493Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.499848Z","title":"We want to show p ∼ q2","venue":null,"work_id":"78d0d70a-481f-4265-b7c7-5536583bd260","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.769179Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:b2fca59c4f567ffce4c26baefda32cd6a69acf783446ffcd65bee14221825d7e","observation_id":"5f814c94-6f1c-4f12-ba82-63bbdc3d00dd","resolution":{"observed_at":"2026-08-07T05:48:15.503297Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.490192Z","title":null,"venue":null,"work_id":"f225e74f-2819-4106-ae6c-099f8863a1b2","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.773284Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:cc50ec80e00f97e4af6acb52b8dd35ecc741876b100b6c2052e453c170785a93","observation_id":"0c3e8878-30c1-450a-9086-4107c42b7e0c","resolution":{"observed_at":"2026-08-07T05:48:15.493669Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.480539Z","title":null,"venue":null,"work_id":"60908914-198b-480e-9f8a-fe2094cc34ae","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.776314Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:8849484570a64a964fac7459b18eeabfe29944a9bfff1f7e3ee8c6cbd74e7915","observation_id":"7e111702-e7e7-40a9-a1b7-6ca2ceaa631b","resolution":{"observed_at":"2026-08-07T05:48:15.483884Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.470676Z","title":"This means for any a ∈ Sδ, ¬(a ≻ ps)","venue":null,"work_id":"0aa166ec-2cb8-4cf4-bc09-30b26b6d8f42","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.779662Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:eb9dea23f036328c126104c95dca9ec8545330edba7b8999886df2994a63b7a7","observation_id":"7cb5a03d-f619-4838-9d77-9e1b47fc24b0","resolution":{"observed_at":"2026-08-07T05:48:15.474056Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.460930Z","title":"Let a = δx","venue":null,"work_id":"6e06fc1e-348e-4510-91bd-e7134585ed0b","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.783008Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:0962c49f634a00f6ead0d85a912b168b9b73e8305978bdef937d449b772aa01d","observation_id":"5c9d690e-714f-4a2d-8da9-f2a35e5b4138","resolution":{"observed_at":"2026-08-07T05:48:15.464281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.451506Z","title":"This is equivalent to ¬(δx ≿ ps) ∨ (ps ≿ δx)","venue":null,"work_id":"dc0698aa-663a-4764-9c50-69c27e8e8513","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.786158Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:164bb3fcce89f2d0ac1179a7d0f77a30a4c21815a8fc6380e8e5d138cff1346a","observation_id":"c37dac3f-360c-4ee7-a727-74058c4f63fd","resolution":{"observed_at":"2026-08-07T05:48:15.454960Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.441225Z","title":"Then, from ¬(δx ≿ ps) ∨ (ps ≿ δx), since the first part ¬(δx ≿ ps) is false, the second part ps ≿ δx must be true","venue":null,"work_id":"43e6c168-84e5-4799-b189-473d5b8c5bd4","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.789750Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:ee75bdc6c3fb503c50b77c2d1ad0ba9f57eed670feb62f37d393db5e33a3d2ce","observation_id":"82caf510-9894-4c98-8267-cc30ab1f2dad","resolution":{"observed_at":"2026-08-07T05:48:15.444758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.431269Z","title":"This is equivalent to ¬(pc ≿ δx) ∨ (δx ≿ pc)","venue":null,"work_id":"190d6740-5df6-4e66-aa3e-7959de8137a7","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.793737Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:32924038c88a205778723ca58120b5c14b9e2636c5f286c6051100b0a81c3f97","observation_id":"58549429-2a23-40e3-aa42-5c2b1541fa71","resolution":{"observed_at":"2026-08-07T05:48:15.434807Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.420917Z","title":"This is the desired conclusion","venue":null,"work_id":"663da29c-a1c4-4e63-97a8-14c3a46205d5","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.797107Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:ef18ca51000c905ed214d1c75cddb6be5a94a25cc5813a55f3a6b4a514f226e9","observation_id":"00c2b833-8898-4d9f-9956-c916aa6fab7b","resolution":{"observed_at":"2026-08-07T05:48:15.424729Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.410640Z","title":"This is a crucial step, often called the ”linearity” property of the preference relation or the ”reduction of compound lotteries” if extended","venue":null,"work_id":"cd2aa69e-c457-4f01-987a-455cf4b8af73","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.800701Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:5cfe4ed4e6da05fac9245bbc7d68f36c069c8145eeb95ab668f2ff359a39ced1","observation_id":"7b93718c-34f7-4eed-94be-84c84ff88f82","resolution":{"observed_at":"2026-08-07T05:48:15.414550Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.400573Z","title":"From the previous step, we have p ∼ L(EU(p, u)) and q ∼ L(EU(q, u))","venue":null,"work_id":"2f098437-8471-4cf7-b0fc-feea3a986756","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.804240Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:05423a2cc4734a3dd6217068f5dfa603291d1b0c9e5af438e2eb2b01c347580e","observation_id":"8c0c934f-f7f0-4a06-8eba-d0cf2f0cc3d5","resolution":{"observed_at":"2026-08-07T05:48:15.404163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.390683Z","title":null,"venue":null,"work_id":"6b76882b-6162-4640-bce5-2ad628eb5188","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.808174Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:0c92f6b392b4cc3484daa5545aa166a8178ee4bafa2b10a75457550881d8fa06","observation_id":"da4b1cd3-b64c-4d74-900a-b46cd58bf297","resolution":{"observed_at":"2026-08-07T05:48:15.394063Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.380714Z","title":"intro h 17 have h_ineq : \\a * expectedUtility p u \\ge \\a * expectedUtility q u := by 18 apply mul_le_mul_of_nonneg_left h (le_of_lt h_\\a.1) 19 linarith 20","venue":null,"work_id":"c6f16f3c-781a-430a-b18f-084cd6984dbe","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.811488Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:c208b9ec5078ab0f386cc7c0f34c076d9024bb724d70a0c385db2b34c29d69c7","observation_id":"efd4d492-fb89-4a9f-994a-37c6c3fd927e","resolution":{"observed_at":"2026-08-07T05:48:15.384368Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.371263Z","title":null,"venue":null,"work_id":"d60b1aed-adfb-4744-ba62-1fac8335b2dc","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.814949Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:ab43a52bb1f90bcaf325f1f1b14e9fb6877799c0a3ebca05ca0454689e49b661","observation_id":"bc597227-0a1a-424a-ad2e-5a4aa2aefd34","resolution":{"observed_at":"2026-08-07T05:48:15.374675Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.361546Z","title":null,"venue":null,"work_id":"c5c38971-55cd-422a-a2e5-60946f50b011","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.818690Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:2445fac0e2cb65a46fe7a2b59f06d44ea98db6ef169be889e0d316866dbbab86","observation_id":"c950d4d0-290d-4a75-a783-1a25bacf900e","resolution":{"observed_at":"2026-08-07T05:48:15.364831Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.352074Z","title":null,"venue":null,"work_id":"82119485-4db0-4ae8-bc62-7a74b94abd57","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.822092Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:13de4c2ecfaa5c5e463618251d10a1feb839fb6bc80da77093725047fbfe31cd","observation_id":"457df565-0622-42fb-85bc-01459d621899","resolution":{"observed_at":"2026-08-07T05:48:15.355459Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.342189Z","title":null,"venue":null,"work_id":"7f058341-6a17-487f-bd1f-6b7923e0751d","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.825537Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:fb5d50abff60b40b326a3800a96de8493298b1d62ad268d1c7b747875f992bcb","observation_id":"b0eb4199-e314-4e21-aad6-452f8b7ede33","resolution":{"observed_at":"2026-08-07T05:48:15.345450Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.332287Z","title":"The comment notes that these preferences may not satisfy rationality axioms - reflecting the reality that human preferences can be inconsistent or violate VNM axioms","venue":null,"work_id":"b91542db-e0bb-46c4-af5d-626d2d31f9e6","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.828966Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:f2f6e3ee8e152285c717fc4c23e3fc74bc5c97be28cd2edb47a56eaedfc2bc6c","observation_id":"f7b52bbd-cc20-4bd2-91a7-b6a4af2f76e8","resolution":{"observed_at":"2026-08-07T05:48:15.335836Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.322166Z","title":"If for all lotteries r, humans prefer p to r whenever they prefer q to r, then the AI should prefer p to q","venue":null,"work_id":"5c46e4e2-31cf-4b9e-bb34-ba848e3f5b35","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.832341Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:a048f79db308d9ff7331e75d0890a69bf7c5caac6e526b3a3026963765afd49d","observation_id":"b68e2c1a-fec0-4751-b1e0-6230ad19b53c","resolution":{"observed_at":"2026-08-07T05:48:15.325906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.216432Z","title":"This is the vNM utility theorem: preferences satisfying the vNM axioms can be represented by expected utility maximization","venue":null,"work_id":"0a418703-89d3-40e6-a7cd-e153c67624db","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.835929Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:b0d5515a9dd86764b4ba0baeca5988189cbee5d123ce08987c6dbcbd9105e7a9","observation_id":"545a4980-c346-498f-83c9-39ee4f8f23eb","resolution":{"observed_at":"2026-08-07T05:48:15.219740Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.207184Z","title":null,"venue":null,"work_id":"0f1b7cb0-af20-477c-8f32-2dbdafb52822","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.839103Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:73cffa306e5d09f39096e4cb91f1fe4bb47a5ab7318ad688221cd8838fa992d4","observation_id":"b0cc915d-3ac1-48c7-9ed5-3594ab4d74d8","resolution":{"observed_at":"2026-08-07T05:48:15.210451Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.197303Z","title":null,"venue":null,"work_id":"f66136e4-25cc-4768-bfca-73b559b3049c","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.842706Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:10179a49ec41c6fd054366de8c52c3fb9a5f77eeaa8142d1df4a52e5be271855","observation_id":"1e9c826c-3a75-4e87-bba7-60e991f649a4","resolution":{"observed_at":"2026-08-07T05:48:15.201104Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.187959Z","title":null,"venue":null,"work_id":"7d6716b7-7577-4589-8ad8-ce36fc91449c","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.846361Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:06892572ecbd40d0c17e085d8b575f2bcea804f210f0801e9bc1d6bd2e44d2d3","observation_id":"86c53866-9bc5-4991-905b-2607cc86c771","resolution":{"observed_at":"2026-08-07T05:48:15.191240Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.178540Z","title":null,"venue":null,"work_id":"efe01e41-91b4-4969-9a49-9b94115d6c05","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.849962Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:3bbecc6e21eef55be21065f3ace7eabb60cce9e4a8d2467da2b222584f86be7a","observation_id":"d9449a01-d07f-4275-8364-567a692534f1","resolution":{"observed_at":"2026-08-07T05:48:15.181954Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.168147Z","title":null,"venue":null,"work_id":"13a7df08-5a2b-4bf8-b827-45024e4e82e8","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.853270Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:c4c49f65266901661df9ea36ca5c177ccff8c1566a31262f81c272f79d245605","observation_id":"3730a85a-d17f-403c-9aa7-4e28a7f2974c","resolution":{"observed_at":"2026-08-07T05:48:15.171417Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.158272Z","title":null,"venue":null,"work_id":"7305d105-420c-4336-b51b-c2cb407fb3a2","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.856628Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:f87d8b2e7aec3808cfb4a927d840d9433e3e500f13caa014c0514b0aaf133d21","observation_id":"af1a7cad-27a1-40da-989a-6ba75fccb42c","resolution":{"observed_at":"2026-08-07T05:48:15.161569Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.147814Z","title":null,"venue":null,"work_id":"40fd854b-06c3-4b0e-bd41-8cd0265823f3","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.859924Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:4e1d5f8a5f4b5f324212262bb7696450acf0cce1c1bad1a37691fe0e0517d7cd","observation_id":"7fd0712e-939a-4293-8642-6c724319457e","resolution":{"observed_at":"2026-08-07T05:48:15.151366Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.137333Z","title":"It maps each state-action pair to a real-valued utility, capturing how desirable that action is in that state for achieving the task goal","venue":null,"work_id":"2007bde3-2937-4dd0-b175-a16cb714a3fe","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.863230Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:21a906d6b679df406a063c2a16ef86df64d3d365a2b566d0ca34278c7810633e","observation_id":"67517ef5-d868-46a5-a871-8622b0e18520","resolution":{"observed_at":"2026-08-07T05:48:15.141038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.127474Z","title":"Higher values represent safer actions in a given state","venue":null,"work_id":"67cbdd29-b629-4a83-acf2-0219204940ad","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.866372Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:d08fa8a8fdc84f0d846106e8e1070a853a17d99e76d6342e9df8fbb075265778","observation_id":"da4474c4-fd15-48a1-b817-a4be22351578","resolution":{"observed_at":"2026-08-07T05:48:15.130932Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.117419Z","title":"Actions with safety values below this threshold are considered unsafe and should be avoided","venue":null,"work_id":"09b73a0e-bb7d-4f5a-becb-2acaacfea661","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.869836Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:bdeffb79b364ea250225537f76d9aeb97b4d2bcee2a788119a8222e49cc04ffd","observation_id":"3986d3a2-ff56-49d2-a23d-4fbb97cc4553","resolution":{"observed_at":"2026-08-07T05:48:15.121041Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.107261Z","title":"For each state, it returns a lottery (probability distribution) over possible actions","venue":null,"work_id":"6488d216-aa98-4271-8cf8-1c4f15fbf71c","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.873292Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:638a5f98419c1518e672ecd97e54eb71e05ec0be24e57252aec815a530dda29e","observation_id":"5fce09fc-ab37-4d6d-b493-d4fb4dfcd139","resolution":{"observed_at":"2026-08-07T05:48:15.110835Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.097284Z","title":null,"venue":null,"work_id":"19e81671-4a08-49d8-86a7-f6ee956ec649","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.877473Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:37467f6aa51d644a4bcf08833d99fb3b3831b48cc68056a4d080f6fc7f87b24b","observation_id":"4c198aa7-63be-4725-bc63-1ce77581e6d9","resolution":{"observed_at":"2026-08-07T05:48:15.100683Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.086429Z","title":"This guarantees rational decision-making","venue":null,"work_id":"f3be3549-b2f0-4e1c-89cc-0985a3e1ea3e","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.880779Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:12b3de37eb46fb7a73335b14074d8b94f6f41aaee85524bdf65fd78da42f6899","observation_id":"d0c69219-291b-4f4e-a290-fa5a24f35586","resolution":{"observed_at":"2026-08-07T05:48:15.090149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.074586Z","title":null,"venue":null,"work_id":"2d40b2dc-5389-468f-a0f8-7def52e09fa6","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.884217Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:383dbd1888a204ab7a77a1aeee7d1367f215d3d194b65ba1405f8a4c31972642","observation_id":"5840fa8b-0124-41e2-8bf4-725669d41c8b","resolution":{"observed_at":"2026-08-07T05:48:15.079135Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.063617Z","title":null,"venue":null,"work_id":"8aae01c0-e419-49e9-a365-3978ebe00202","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.887526Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:758fbd45ea8d63dab3a2341b41499b157c8f15d8919d2622f4b0ec4b44433cfd","observation_id":"45cddba7-f5b3-42f2-b100-56ebacd7ac3f","resolution":{"observed_at":"2026-08-07T05:48:15.067167Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.052338Z","title":"46 14 2)) = true \\and 15 prefOracle (@Lottery.mix X _ p r \\b (le_of_lt h_conj.2.2.1) (le_of_lt h_conj.2.2","venue":null,"work_id":"79b7a92f-581c-43b9-9522-72a70b8b8922","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.890756Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:2348d32ebb94e3edcb56b6b3c145504c52d26b2d71634b29f2a518bd8375dd5f","observation_id":"b5752c5f-083b-4b3e-8578-891ca9cf1227","resolution":{"observed_at":"2026-08-07T05:48:15.056336Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.040757Z","title":null,"venue":null,"work_id":"360797f1-5e9f-46a8-bab6-49c494342aab","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.894159Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:aeacd23b993282fd07fab1484c35b8acc996c70082121b589b868ab01cd1b095","observation_id":"e2a5ed1b-79db-4f3a-b409-0a0c388e4bc9","resolution":{"observed_at":"2026-08-07T05:48:15.044769Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.028178Z","title":"12 -- The goal is to prove prefOracle r p = false","venue":null,"work_id":"4a652dae-7f63-45f1-a695-5262b9fa2e22","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.898246Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:639bea8f6d1d775f6c7a324d5ea9ab93201f8eb7ee9c8ba30dbc85a2932b4a2d","observation_id":"acf2f8e6-89e3-4dca-9a9d-678185b4f185","resolution":{"observed_at":"2026-08-07T05:48:15.032826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:48:15.010353Z","title":null,"venue":null,"work_id":"23535cd3-20b5-4e24-8a3f-415ee96403b0","year":null},"citing_paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-07T05:48:14.902187Z"},"links":{"citing_paper":"/paper/2506.07066"},"observation_digest":"sha256:23c7b04644e86f6dc449166e3692fe56d57c684c49e5a1fe80296a5c02e85912","observation_id":"1a718a24-b129-4a5e-a6c8-1000578d6766","resolution":{"observed_at":"2026-08-07T05:48:15.018869Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.07066","last_updated":"2025-06-08T10:09:54Z","latest_version":1,"primary_category":"econ.TH","snapshot_observed_at":"2026-08-07T05:40:32.259103Z","submitted_at":"2025-06-08T10:09:54Z","title":"From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem"},"reference_resolution":{"displayed":76,"state_counts":{"malformed_identifier":4,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":47,"verified_exact":0,"verified_fuzzy":25},"total_outbound_references":76},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 76 of 76 outbound references and 0 inbound Pith citation observations for arXiv:2506.07066."}