{"as_of":"2026-08-12T22:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3004f2644326b76c509cc786a95dcba4759ac1d9d2c84538d1d8de2a3952bec5","coverage":[{"denominator":51,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":51,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T04:49:53.313650Z","state":"measured"},{"denominator":51,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":51,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2607.14169/citation-record","integrity":"/paper/2607.14169/integrity","json":"/paper/2607.14169/citation-record.json","paper":"/paper/2607.14169"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:49:47.430794Z","title":"Proceedings of the Fifth","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:47.430794Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:7d4c608c79226a9ea43a3621d9068bd87c2e003bbc85f951831a292d0369f2bb","observation_id":"a08c8498-409b-4f6d-801d-90137fd332c2","resolution":{"observed_at":"2026-08-02T04:49:47.430794Z","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-02T04:49:47.506146Z","title":"and Powley, Edward J","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:47.506146Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:6c61273dc98d9c71a6a6076696395e09fe3c1887ace3cef0b3af19f23e1874bc","observation_id":"b789ba2f-bb8f-4ff9-9317-5e3931024713","resolution":{"observed_at":"2026-08-02T04:49:47.506146Z","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-02T04:49:47.630876Z","title":"Artificial Intelligence , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:47.630876Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:22e67e9afa573d6d70a522bddc7252f5dd74b1663c215b35d06734fcc64f5811","observation_id":"c07fe982-4046-4f8a-8592-aecb09ccb3ca","resolution":{"observed_at":"2026-08-02T04:49:47.630876Z","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-02T04:49:47.821985Z","title":"Proceedings of the 40th International Conference on Machine Learning (ICML) , series =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:47.821985Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:c15338225dd04be51e394425e1752c513c6a12868cb57b6744ce96472e1c681b","observation_id":"ab37374e-f2b6-49f7-8eae-7d237bd4b61b","resolution":{"observed_at":"2026-08-02T04:49:47.821985Z","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-02T04:49:48.034106Z","title":"2025 , eprint =","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:48.034106Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:9e241495dd7154baa4450094b9ccae525b09e319a4c72fbe294329cccd5a0569","observation_id":"990d7ae4-586c-4607-90f5-62e3dc438e3a","resolution":{"observed_at":"2026-08-02T04:49:48.034106Z","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-02T04:49:48.181970Z","title":"International Conference on Learning Representations (ICLR) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:48.181970Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:1b2f7bb65f6c2143743729f10cdedf970a743aa535eb7a15adc50c3e5235c648","observation_id":"5a24ac42-bbfa-4595-a257-b8614a219f9c","resolution":{"observed_at":"2026-08-02T04:49:48.181970Z","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-02T04:49:48.354942Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:48.354942Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:be7588873ef5b8d8d41f3b9da4169d727a9b75365f53bb272f67435740b3307c","observation_id":"631ddfaf-24a1-4632-9737-245a9c64681e","resolution":{"observed_at":"2026-08-02T04:49:48.354942Z","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-02T04:49:48.522556Z","title":"and Wilson, Robert , title =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:48.522556Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:3f9c1770390bf9656dc5d71b97b17d009331b25585cd80615bb7e522eca3bb39","observation_id":"58822b52-d109-48fe-9bbf-260f122be6b9","resolution":{"observed_at":"2026-08-02T04:49:48.522556Z","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-02T04:49:48.683232Z","title":"and Amos, Brandon and Yadan, Omry and Calandra, Roberto , title =","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:48.683232Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:fad1309dd1af27394287f57d5589748dd771652bc0400009f093c103e9d082a4","observation_id":"93404d4c-8d6e-4241-ad6b-7552ece7c8f5","resolution":{"observed_at":"2026-08-02T04:49:48.683232Z","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-02T04:49:48.843837Z","title":", title =","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:48.843837Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:07c22814475b524cbf73b3a5f85cd5916839b8065e699baba3ea8e49e28bb7a8","observation_id":"669606e4-a544-45ff-9601-0a373e768679","resolution":{"observed_at":"2026-08-02T04:49:48.843837Z","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-02T04:49:48.980606Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:48.980606Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:23c2f30829839ebcaa9753bbb2bd2185e5ff0d497ad3ef7fed9f00dc64cfc4b8","observation_id":"416fd1d1-f4d8-4a83-9750-eca3ccf3865e","resolution":{"observed_at":"2026-08-02T04:49:48.980606Z","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-02T04:49:49.097232Z","title":"and Buro, Michael and Furtak, Timothy , title =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:49.097232Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:d51ff53076594fee948eead2e162897dc470cd67ccda1d982658dd626cdc9341","observation_id":"839ee7ac-448b-4102-b88e-9ef98e5d7b7c","resolution":{"observed_at":"2026-08-02T04:49:49.097232Z","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-02T04:49:49.179467Z","title":"Bandit Based","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:49.179467Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:a72f79b24c0dc5ab060cdd82aff1a3c030eb65ac66ae25bc93a892835a566684","observation_id":"9a2ea178-31cf-4a44-9087-1f6c0538c330","resolution":{"observed_at":"2026-08-02T04:49:49.179467Z","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-02T04:49:49.291320Z","title":"and Kroese, Dirk P","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:49.291320Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:d40e1bd2d0fc5ea49e109debf6d6bddcc92b52df6f53eb6a351feb7a8b6f6e85","observation_id":"f0896862-df1c-443e-8a4d-eca1ec53ee86","resolution":{"observed_at":"2026-08-02T04:49:49.291320Z","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-02T04:49:49.406053Z","title":"A Reduction of Imitation Learning and Structured Prediction to No-Regret Online Learning , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:49.406053Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:0c041f4b42cc64fea05a1880bd877333b260773d3e65e6ee12d4b3ee79672d3c","observation_id":"88876546-eeb8-4e38-9ff2-9118e4104aa1","resolution":{"observed_at":"2026-08-02T04:49:49.406053Z","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-02T04:49:49.510622Z","title":"Games and Economic Behavior , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:49.510622Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:e20008875fced8d84a5e83b5d508adc25bff14a344cd824656336dff09f651d8","observation_id":"1639b703-a795-4568-8eec-f85ddd769f81","resolution":{"observed_at":"2026-08-02T04:49:49.510622Z","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-02T04:49:49.606805Z","title":"and Cowling, Peter I","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:49.606805Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:7d29eb0e0da17d841acb35cf581fa6477c31d37cacf91dd2d737222dd707094b","observation_id":"559dbf33-d793-4c54-a6ec-60d5814d2f9f","resolution":{"observed_at":"2026-08-02T04:49:49.606805Z","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-02T04:49:49.675626Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:49.675626Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:8a3b0e9d3e9f4f7559da69e446e6de15616fd2f16b164fea0bf4fc5c5e677202","observation_id":"5f5d348d-f331-4e3a-b9e5-0e9a5ae309df","resolution":{"observed_at":"2026-08-02T04:49:49.675626Z","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-02T04:49:49.836577Z","title":"Advances in Neural Information Processing Systems 22 (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:49.836577Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:9a2737baa648c827c7df8e5bfecfe135469fdb50ade314112479c904d4212400","observation_id":"59125297-2a13-4420-9e78-e6915e6fddaf","resolution":{"observed_at":"2026-08-02T04:49:49.836577Z","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-02T04:49:50.035197Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:50.035197Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:dd471201e2891e443f1cd7c1867afbb6c5bb66962806e7b4817d749b0b42ee17","observation_id":"fb0225ab-5f87-48c9-9389-f3702abce21c","resolution":{"observed_at":"2026-08-02T04:49:50.035197Z","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-02T04:49:50.127048Z","title":"Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI) , pages =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:50.127048Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:8928464ca63508b00ab122e2b52b5b62db662ea73c7e0cd518bc65b56805ebee","observation_id":"c295ef76-6ff2-400a-aa79-37d24fd38e1c","resolution":{"observed_at":"2026-08-02T04:49:50.127048Z","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-02T04:49:50.219786Z","title":"2020 , howpublished =","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:50.219786Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:0e2e694f440580292b5bfde523b08b88b751e31dab3179ec5f9c01baba8a021a","observation_id":"52c1bc15-1622-4085-b4b8-0bf78200413a","resolution":{"observed_at":"2026-08-02T04:49:50.219786Z","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-02T04:49:50.303415Z","title":", title =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:50.303415Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:3c3cf907c6895b9144b484f724538788e2ab7cc90a5b96ed892fc62bc0a50a2b","observation_id":"6fcbdfb5-143b-47d6-85e8-c57ac4a7a0b5","resolution":{"observed_at":"2026-08-02T04:49:50.303415Z","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-02T04:49:50.393635Z","title":"International Journal of Game Theory , volume =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:50.393635Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:5754d5f95e682415a72b8f3e953b6971a6ddeee33e90c5d3e1f4a24c8ed45cf3","observation_id":"e951c716-eb0f-4f40-9a6a-f4001b8b7d45","resolution":{"observed_at":"2026-08-02T04:49:50.393635Z","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-02T04:49:50.477012Z","title":"Efficient Selectivity and Backup Operators in Monte-Carlo Tree Search , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:50.477012Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:95d82db82732157b4b8315d161cd58c57fbe9d80717ad62cc0f1fdc01e77e4e0","observation_id":"6464f302-0277-4768-9510-7438cfad19aa","resolution":{"observed_at":"2026-08-02T04:49:50.477012Z","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-02T04:49:50.617464Z","title":"QuickCheck : A lightweight tool for random testing of Haskell programs","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:50.617464Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:0715e86910c9245ef39afcee9e81f47cf363e7d5f1d9eb6ca9e15ebce83b772b","observation_id":"b1c25643-d408-4d65-8816-cd52578818f3","resolution":{"observed_at":"2026-08-02T04:49:50.617464Z","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-02T04:49:50.734010Z","title":"Efficient selectivity and backup operators in monte-carlo tree search","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:50.734010Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:42456642de00068fa0216ef8a00fe3c48f71c896b7b3d85df4b78525f4048145","observation_id":"451d433b-8029-4b4c-82e9-e06904f8baa3","resolution":{"observed_at":"2026-08-02T04:49:50.734010Z","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-02T04:49:50.907339Z","title":"Cowling, Edward J","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:50.907339Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:4e9e8bf5764515f1b24fbd0c529de5bfafd6b00fffcb4073999dc85d7d17de0c","observation_id":"34eb9347-8d41-4256-aaad-963a311fb89f","resolution":{"observed_at":"2026-08-02T04:49:50.907339Z","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-02T04:49:51.031464Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:51.031464Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:0cc6b5e2d681adc993b4e39c5bed947275c4d3a9694bd38a62aae8745deef32d","observation_id":"2debac21-781f-4b34-a02f-a0df8ddd319a","resolution":{"observed_at":"2026-08-02T04:49:51.031464Z","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-02T04:49:51.070472Z","title":"Search in games with incomplete information: A case study using Bridge card play","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:51.070472Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:734af4abfd54bd7f3f595452b14c29572729e8287c8f841b5098a9b2c8c5c728","observation_id":"5e96df13-185a-43bc-bd90-54835154a0ed","resolution":{"observed_at":"2026-08-02T04:49:51.070472Z","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-02T04:49:51.135604Z","title":"PAL : Program-aided language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:51.135604Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:003d66de17bd43ff7c051aa5a40835c7ef2e5f78fcccf783b41c55eb4005d325","observation_id":"adcbeb28-ed16-449b-8b47-35d2d98564db","resolution":{"observed_at":"2026-08-02T04:49:51.135604Z","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-02T04:49:51.213089Z","title":"Dream to control: Learning behaviors by latent imagination","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:51.213089Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:efd8495caa36382eefa69dcfa4f0b922fa5e7c66e16cec8b89847bc13c5c5c86","observation_id":"67d44391-cc50-4654-bbe0-24eba5012690","resolution":{"observed_at":"2026-08-02T04:49:51.213089Z","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-02T04:49:51.292820Z","title":"When to trust your model: Model-based policy optimization","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:51.292820Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:f1885a67cc42341170abd1caaf46ab5714d1f05e438ece9f719cc2beada6b7b9","observation_id":"d656ac6f-3a2c-43e3-a7cb-b8e526a41838","resolution":{"observed_at":"2026-08-02T04:49:51.292820Z","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-02T04:49:51.407327Z","title":"Bandit based Monte - Carlo planning","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:51.407327Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:6fe737ed81a0438f7cefc3f75aee2cd82fa89d95283c13e3e964da85133b8879","observation_id":"a36d94ca-5e4b-43b9-b76b-dc3bb109f69c","resolution":{"observed_at":"2026-08-02T04:49:51.407327Z","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-02T04:49:51.481916Z","title":"Kreps and Robert Wilson","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:51.481916Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:2018fcb7eae4f9c07da268c8f6318b344d16224166ab5f14135395dcc0c1f426","observation_id":"e955f46f-c4e2-4df0-b37b-6cae61302546","resolution":{"observed_at":"2026-08-02T04:49:51.481916Z","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-02T04:49:51.590327Z","title":null,"venue":null,"work_id":null,"year":1950},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:51.590327Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:afeac9f67b5d4e984db43a71c171d6f26a461c268190e8f8e6f9cc736f0219e9","observation_id":"50a502b3-9df9-4818-9d0c-b6ca32f37d61","resolution":{"observed_at":"2026-08-02T04:49:51.590327Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.04523","last_updated":"2021-04-19T03:02:59Z","snapshot_observed_at":"2026-07-06T08:56:30.534634Z","submitted_at":"2020-02-11T16:26:07Z","title":"Objective Mismatch in Model-based Reinforcement Learning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.04523","snapshot_observed_at":"2026-08-02T04:49:51.783589Z","title":"Lambert, Brandon Amos, Omry Yadan, and Roberto Calandra","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:51.783589Z"},"links":{"cited_paper":"/paper/2002.04523","citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:3862bc1b5da5b7f759da2dbb31be43d558de5bbf6ebac5037f1c8069445d0205","observation_id":"8dfa4569-5f99-4803-818f-ae431aab7089","resolution":{"observed_at":"2026-08-02T04:49:51.783589Z","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-02T04:49:51.910609Z","title":"Monte C arlo sampling for regret minimization in extensive games","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:51.910609Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:ae38dffef62ba5cb7f0dfe3c2e9dff09e03866e568fe3c0ae1710229b9bbcc49","observation_id":"318fb0a1-9800-4189-bfac-da69c9135031","resolution":{"observed_at":"2026-08-02T04:49:51.910609Z","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-02T04:49:52.029922Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:52.029922Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:a68477bbf7bdd4f22e73bf8ca4b888e811471989b9b359f8d98d7d260c815044","observation_id":"ddfd0668-18a5-4cbc-b197-30f3d2629cfa","resolution":{"observed_at":"2026-08-02T04:49:52.029922Z","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-02T04:49:52.165595Z","title":"Code as policies: Language model programs for embodied control","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:52.165595Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:aeef9ddb02559ff1e6c46072c80a46f7dde4950cf00afb65ee2ad83d29da59f5","observation_id":"b622a031-fb5f-42ad-abb0-357837896b46","resolution":{"observed_at":"2026-08-02T04:49:52.165595Z","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-02T04:49:52.355075Z","title":"Sturtevant, Michael Buro, and Timothy Furtak","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:52.355075Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:a8beb84e347cc8875aec1897c29d6e2b90ae2ad69a876af49f0ffb5fbdf046e4","observation_id":"7222e103-ff31-44fd-984a-26fa58ca7f70","resolution":{"observed_at":"2026-08-02T04:49:52.355075Z","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-02T04:49:52.509532Z","title":"Gordon, and J","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:52.509532Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:a50c77664889258a5752c2a0f88ca727e284b9cdd6cbf01a655c2788f0c37cb7","observation_id":"9f944f8b-f741-4bd0-912e-6364878de602","resolution":{"observed_at":"2026-08-02T04:49:52.509532Z","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-02T04:49:52.657623Z","title":"Rubinstein and Dirk P","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:52.657623Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:71d318a27c65cb62e3df737a87e79470539480ab7f6a8c4e6876175da0dacd91","observation_id":"6980bfc1-d8ef-4679-985f-ec8fbb42d6ea","resolution":{"observed_at":"2026-08-02T04:49:52.657623Z","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-02T04:49:52.814930Z","title":"Reexamination of the perfectness concept for equilibrium points in extensive games","venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:52.814930Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:4759e062c63a694f49cb11d49e5f4168ff8f11684f93cd45f930fcab9cddef70","observation_id":"763a0896-22df-4d0b-8792-0887149068a2","resolution":{"observed_at":"2026-08-02T04:49:52.814930Z","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-02T04:49:52.941588Z","title":"Bayes' bluff: Opponent modelling in poker","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:52.941588Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:f9b970aef3a0dbd68e7762ab5502a5e0befddb9ab7bc765b614dfbf4fc83f612","observation_id":"26e4f685-982f-4039-8309-520940f0ff0f","resolution":{"observed_at":"2026-08-02T04:49:52.941588Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1407.5042","last_updated":"2014-07-18T15:41:28Z","snapshot_observed_at":"2026-07-06T03:49:27.130621Z","submitted_at":"2014-07-18T15:41:28Z","title":"Solving Large Imperfect Information Games Using CFR+","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1407.5042","snapshot_observed_at":"2026-08-02T04:49:53.043833Z","title":"Solving large imperfect information games using CFR +","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:53.043833Z"},"links":{"cited_paper":"/paper/1407.5042","citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:b6942eeb66e25fd222907fb9dca84dccefa68a35fe57226b0f5cec2a4849c11e","observation_id":"952e3f0e-f6b8-4717-b477-ca4c8df9a231","resolution":{"observed_at":"2026-08-02T04:49:53.043833Z","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-02T04:49:53.097230Z","title":"Measuring general intelligence with generated games, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:53.097230Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:58e39c298c2343dce5eac7b7db31fb5a7f42a32bf377b0ab0f6d3b6a04d7812c","observation_id":"ce30cbe6-cec3-4f4d-927a-9af17869426e","resolution":{"observed_at":"2026-08-02T04:49:53.097230Z","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-02T04:49:53.158888Z","title":"Efficient computation of behavior strategies","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:53.158888Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:f526eb5752ec5c9786ff0e8fc04f505a17f521c658ee4a2c23f13b08e2a66612","observation_id":"3885c6af-94fa-4392-9424-c1eb4f62ac12","resolution":{"observed_at":"2026-08-02T04:49:53.158888Z","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-02T04:49:53.221891Z","title":"Powley, and Peter I","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:53.221891Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:e89e7a0ed91c29c389c439007d1f5a3fe0738961e729f0ce00bc66f395785001","observation_id":"d0da33a4-1976-4b23-a7e3-bdb0c66a5fba","resolution":{"observed_at":"2026-08-02T04:49:53.221891Z","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-02T04:49:53.258769Z","title":null,"venue":null,"work_id":null,"year":1927},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:53.258769Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:1a15420354f4722370a1931069eb035129c85ace2124844b84b775096369ecf9","observation_id":"b550cd60-edf2-4dbc-9b37-9346a5ee1d23","resolution":{"observed_at":"2026-08-02T04:49:53.258769Z","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-02T04:49:53.313650Z","title":"Regret minimization in games with incomplete information","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models","version":2},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-02T04:49:53.313650Z"},"links":{"citing_paper":"/paper/2607.14169"},"observation_digest":"sha256:d66699694bd84e4ad9ffb55fd91f534481caff6069b4893bd7dcc8d32a687abc","observation_id":"48866295-09fd-4395-8c05-8619465af171","resolution":{"observed_at":"2026-08-02T04:49:53.313650Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.14169","last_updated":"2026-07-19T13:17:14Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T18:39:18.327535Z","submitted_at":"2026-07-15T08:54:59Z","title":"When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models"},"reference_resolution":{"displayed":51,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":51,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":51},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 0 inbound Pith citation observations for arXiv:2607.14169."}