{"as_of":"2026-08-19T12:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2078dadad7e82ad5473c35e6fd943351f8e17b4164bd68cd3d251133932c43bb","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-10T03:06:20.668165Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+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.08692/citation-record","integrity":"/paper/2607.08692/integrity","json":"/paper/2607.08692/citation-record.json","paper":"/paper/2607.08692"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T03:06:43.785609Z","title":"The Lean 4 theorem prover and program- ming language,","venue":null,"work_id":"4693ecc8-9932-4c41-8f73-09efe7ed9306","year":2021},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:170cecd462157a7b22fd6b9f48c55ca4180fefb8f1416fa65ca4b3b1047779e3","observation_id":"990a7447-1fe4-4912-a6a0-9b6a249fc089","resolution":{"observed_at":"2026-07-10T03:06:43.786963Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.808074Z","title":"Pok ´emon tcg tournament metagame aggregates,","venue":null,"work_id":"cd14b56d-77bf-4279-9fed-237c5e91d3bd","year":2026},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:52b5712bb69ddd9025ea1a96f6cca7025f9f7d63ad698d3b8ba852c2b07ff562","observation_id":"5107d4d5-6f5f-4130-a473-dd6233971c6c","resolution":{"observed_at":"2026-07-10T03:06:43.809270Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.771297Z","title":"Limitless tcg tournament platform,","venue":null,"work_id":"59422328-8228-4a53-b0cd-cae8c050b928","year":2024},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:060250c786c3244cb8d40a67045bf5282a4e9f1dd0a5c5a2e46d58e5a13f4516","observation_id":"e13365a8-73a7-42a5-b2e6-cb6e03f4e385","resolution":{"observed_at":"2026-07-10T03:06:43.772605Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.750966Z","title":"Programming a computer for playing chess,","venue":null,"work_id":"a2cf8e80-b417-4e92-bfae-c967bf220a28","year":1950},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:13d09f9290ad9e92ba77eacba15281ee1440582b72d3ad2e0f30567806d5e9ab","observation_id":"ca64c18c-3da6-43c7-9b57-2f7565ff7b27","resolution":{"observed_at":"2026-07-10T03:06:43.752685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.806172Z","title":"On the complexity of some two-person perfect- information games,","venue":null,"work_id":"c215f17e-a84a-4ae5-b64e-3935e60eece9","year":1978},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:beefe17c5d1549c9cc763b566c12e3d9e326703ded4ffb7ef9c1e209f48b6833","observation_id":"831da710-a31a-4e89-8f58-516aca0ddbcf","resolution":{"observed_at":"2026-07-10T03:06:43.807747Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.768987Z","title":"Computing a perfect strategy for n×nchess requires time exponential inn,","venue":null,"work_id":"30b6a503-ff94-4ad5-b729-70a3ebcc7fd2","year":1981},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:142eca76c8dc377c456eb118de636fd616a0536411aa57372815cf91197ba491","observation_id":"0ca026b4-3b8b-4b95-b19a-1d8197d62e6c","resolution":{"observed_at":"2026-07-10T03:06:43.770517Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.766845Z","title":"Heads-up limit hold’em poker is solved,","venue":null,"work_id":"62f14a2e-93f0-48bc-b66f-d9535efe4663","year":2015},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:d30ac3fabdb47eb1442e3ae093b5e2b215649e882101f06b0b3172d55e7d968c","observation_id":"77b73f19-12e0-45d2-b767-bd48f40a851d","resolution":{"observed_at":"2026-07-10T03:06:43.768241Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.806312Z","title":"Superhuman AI for heads-up no-limit poker: Libratus beats top professionals,","venue":null,"work_id":"a0c4a9b1-e89c-45c4-8ce3-1ca6347cbcba","year":2018},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:67ac3fa0fa1087fef71dabf74cd2f219cf153477cc68ef37ad2697c0eb44df66","observation_id":"1cf7c41e-ede0-4169-b6ad-d961171f1b64","resolution":{"observed_at":"2026-07-10T03:06:43.807553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.808361Z","title":"Superhuman AI for multiplayer poker,","venue":null,"work_id":"97aa7e91-6c9e-4eae-ba5a-8830f320726b","year":2019},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:60d439eaed54f55bf27d2aaab5bd392fb3de17c99423be73ce7893b4d433a09b","observation_id":"410e2ded-f81e-4317-bfd6-b51ae91f3214","resolution":{"observed_at":"2026-07-10T03:06:43.809492Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.810064Z","title":"A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play,","venue":null,"work_id":"ff6a2530-6d77-47bd-be5f-b8499dbdd145","year":2018},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:7bc7343e0594e818e1b7ebe0db371696897193565cdc93b614aa8384982f535f","observation_id":"4cd428be-2df7-4134-abb8-d4518e57a6fe","resolution":{"observed_at":"2026-07-10T03:06:43.811294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.813760Z","title":"Grandmaster level in StarCraft II using multi-agent reinforcement learning,","venue":null,"work_id":"b397fc22-b7d4-42ad-a6ce-81e23c7871e5","year":2019},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:323230ce25c35137746bd0e30659beed5404e5fb01e97bc676b2e352b62bab82","observation_id":"1fc6eab7-05fd-4735-9e1e-969ba5955790","resolution":{"observed_at":"2026-07-10T03:06:43.815153Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.827787Z","title":"Ensemble determinization in Monte Carlo tree search for the imperfect information card game Magic: The gathering,","venue":null,"work_id":"7a7f94fd-5037-4d7c-9388-9a53d98d0695","year":2012},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:4db36986780d64b23fcd35594bc888530f1415c4fc9f0652c0120a10dd496c62","observation_id":"6b0d2404-73b4-4300-b005-817e437b4a2f","resolution":{"observed_at":"2026-07-10T03:06:43.829053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.829907Z","title":"Monte Carlo search applied to card selection in Magic: The Gathering,","venue":null,"work_id":"f7ff1443-3879-40fa-b04f-b15e20b2e1e5","year":2009},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:7a9abccf2100c498acf0691af6adeac08e845853e85def508e7cca77b1ae2cd7","observation_id":"638d259e-313f-4467-ab51-3558ba0b6e93","resolution":{"observed_at":"2026-07-10T03:06:43.831419Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.786017Z","title":"Monte Carlo tree search experi- ments in Hearthstone,","venue":null,"work_id":"a503d24d-6447-48c2-b768-977b26145609","year":2017},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:f86a372ea0dbbad83ea76cd740fa828cdf6a34c51e0df6bb0f4445c7e72ab667","observation_id":"02efcdfe-f935-4255-9ae1-3b63717839a2","resolution":{"observed_at":"2026-07-10T03:06:43.787394Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.741475Z","title":"Improving Hearthstone AI by combining MCTS and supervised learning algorithms,","venue":null,"work_id":"d2da25d8-da11-4f54-ab02-4ea92343f4e4","year":2017},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:6fb0121f4541ad973b07721d6253f32355d04fd38f4ab26384859ae186e88ebf","observation_id":"3a2d38db-6d0e-4a29-a413-4f36a45a2dd7","resolution":{"observed_at":"2026-07-10T03:06:43.743190Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.817996Z","title":"Deckbuilding in Magic: The Gathering using a genetic algorithm,","venue":null,"work_id":"0436ff3d-3e09-4d2b-a8d0-0d409847360e","year":2017},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:e938fa2b553c28c27a572496aa37bfb2befa4b915b012942a6bed3dc56f314f0","observation_id":"1a7ca4e9-c227-49c3-997c-0dc6406f6e65","resolution":{"observed_at":"2026-07-10T03:06:43.819282Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1906.04238","last_updated":"2019-05-06T12:53:36Z","snapshot_observed_at":"2026-08-14T16:36:46.114765Z","submitted_at":"2019-05-06T12:53:36Z","title":"Introducing the Hearthstone-AI Competition","version":1},"cited_work":{"arxiv_id":"1906.04238","doi":null,"metadata_source":"pith","pith_arxiv_id":"1906.04238","snapshot_observed_at":"2026-07-10T03:06:43.568271Z","title":"Introducing the Hearthstone-AI Competition","venue":"cs.AI","work_id":"2965768f-40d0-4b2f-b52d-8bc090a4a055","year":2019},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"cited_paper":"/paper/1906.04238","citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:0e685324b7d0cbc9b2c2f6979a079e11e79b646dd1c02bb018f4c7cdd53bdaa2","observation_id":"1851711f-501b-454e-84e3-d0b40843d335","resolution":{"observed_at":"2026-07-10T03:06:43.569772Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.778127Z","title":"Summarizing strategy card game AI competition,","venue":null,"work_id":"76fe56dc-b6c8-4225-81f0-3b84d4b3d3f6","year":2023},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:3683bdb5e93e2ce94a45f1a78431a4cd7b742c366586ec5b599181f5a8584086","observation_id":"da74614c-36dc-4240-9ea3-75043290c9c3","resolution":{"observed_at":"2026-07-10T03:06:43.779714Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.794300Z","title":"Formal proof — the four-color theorem,","venue":null,"work_id":"cc1fa91c-641d-4bec-9c21-75c2d80ab48f","year":2008},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:83862526c395fa9184bf93d88ec3e5d7d36d91e381a7c8f94c99b1ff53dad1f3","observation_id":"39477bdc-2147-4e70-b071-85953d2321f6","resolution":{"observed_at":"2026-07-10T03:06:43.795447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.802582Z","title":"A formally verified proof of the prime number theorem,","venue":null,"work_id":"77011506-5b0c-410a-ab6c-0a6490178317","year":2007},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:9174bed029095962e44d5bcc82d48669698d939074f4b56e36e35c6515703bcb","observation_id":"b353f006-d17f-499d-925d-81c80ad16f59","resolution":{"observed_at":"2026-07-10T03:06:43.803945Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.789297Z","title":"The Lean mathematical library,","venue":null,"work_id":"4b43112a-fe43-4195-9499-2c5a9a5d08c2","year":2020},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:00059ad30dbb56617993a737c32aad7be37d411ebb764739719e617891039e87","observation_id":"04a7abc1-30bc-45c3-9b26-e0dde1920e0d","resolution":{"observed_at":"2026-07-10T03:06:43.790393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.823866Z","title":"A formal proof of the kepler conjecture,","venue":null,"work_id":"67f5ebe4-3db9-4696-8b0b-3eb32ed25061","year":2017},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:a79854c55d1587905a0834e813e809d913f0d5c0a87f936e33d8caff488beaa9","observation_id":"e1f2d558-73e0-47e0-8984-6a17ff3b37ba","resolution":{"observed_at":"2026-07-10T03:06:43.825017Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.788202Z","title":"Towards formal verification of card game mechanics,","venue":null,"work_id":"80afbc95-afe4-4d03-b5a3-d6cff703e914","year":2023},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:8715062bef9ec46e537454d693a186fba34c2b5bc4d9824131bb53fe9117c16b","observation_id":"56b61b91-0851-4506-a21d-eab219b90c41","resolution":{"observed_at":"2026-07-10T03:06:43.789485Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.784172Z","title":"The logic of animal conflict,","venue":null,"work_id":"e215a728-f125-4a3d-8ede-46364a86421a","year":1973},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:5171ded9c5b50bf006b3b4b0b9bd4add5427f61f91d9395c11dad65d3ba5560b","observation_id":"a9c32300-4d35-4490-9174-284488d58844","resolution":{"observed_at":"2026-07-10T03:06:43.785412Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.798270Z","title":"Evolutionary stable strategies and game dynamics,","venue":null,"work_id":"407653dc-a2e5-4e7f-b9aa-a6958b5376d3","year":1978},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:7abd53da883aaadf016d008a2a24a9d4d5393ce2c5b79e9d5e243ebd5ad28990","observation_id":"ad6bfebd-c08b-4af4-ab9f-b0fe85f4ede3","resolution":{"observed_at":"2026-07-10T03:06:43.799545Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.792405Z","title":null,"venue":null,"work_id":"93c2ad19-15c5-4eeb-967b-58785f72dd4d","year":1997},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:b07f1564acbfe4d2517375afe9395b0732810e74f6d53191bf5559bfe8492869","observation_id":"492945af-ac84-45aa-800a-612fe3b320d7","resolution":{"observed_at":"2026-07-10T03:06:43.793552Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.781830Z","title":"Pok ´emon trading card game — rules & resources,","venue":null,"work_id":"e90c684a-f22e-464d-b74d-18a10d5e2976","year":2024},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:063f94c1029a0c3a5f2afda32f7d6d90f0416ceb9f40d00026ae5519ecefb4eb","observation_id":"8247819f-50e7-4b2d-82cc-d51656926727","resolution":{"observed_at":"2026-07-10T03:06:43.783002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.804470Z","title":"Play pok ´emon tournament rules handbook,","venue":null,"work_id":"1361c227-a356-4b39-a00d-b3598359fc9a","year":2024},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:9a000b1c7931bc38af63eea9371afac6caa3a8253ce75718c835b49f4829a6ef","observation_id":"028eee78-b3d8-4154-a7e4-1b3ce0efe33c","resolution":{"observed_at":"2026-07-10T03:06:43.805659Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.792790Z","title":"Probable inference, the law of succession, and statistical inference","venue":null,"work_id":"ca726791-54a7-4c49-9fee-5f5287985570","year":1927},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:df142aabef2807c62d0c3da24bb7cdaa75d9f5fa49d9d37effa400362e1b823c","observation_id":"05c7a84e-2d7b-493b-8345-83f7dda3e904","resolution":{"observed_at":"2026-07-10T03:06:43.794062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.825796Z","title":"Judgment under uncertainty: Heuristics and biases","venue":null,"work_id":"acaf6261-0ee3-444f-b12b-b364fbdb81b3","year":1974},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:334f002bf8d65e63b90941206df155fff19924f095ae13dc495869d6761a2b6a","observation_id":"a09d84a6-f51f-4745-bff4-504df536295e","resolution":{"observed_at":"2026-07-10T03:06:43.827012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.790059Z","title":"Prospect theory: An analysis of decision under risk","venue":null,"work_id":"e6c6616f-bb59-4b85-b2b1-f1c5a8e29f48","year":1979},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:dd21ead934a5b726ceff5070de3dad136413c09f64a456bdafb983670783ce03","observation_id":"4d50ac9b-2a4b-4fab-bc3d-69cb6eba94db","resolution":{"observed_at":"2026-07-10T03:06:43.791328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.742871Z","title":"A simple model of herd behavior,","venue":null,"work_id":"18ad3242-0e71-4406-b00e-fe255fe6054e","year":1992},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:9e323ab41e9f59f955ea159c35bb6de6f7509bd06f465dba84e39885bdf5649a","observation_id":"46e72142-1c17-4ea4-a256-ffd25bec5089","resolution":{"observed_at":"2026-07-10T03:06:43.744868Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.819951Z","title":"A theory of fads, fashion, custom, and cultural change as informational cascades,","venue":null,"work_id":"e8875ebd-9fd2-4a70-80c6-02525c52ff96","year":1992},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:83bd1ccbb7ae7ac30e1bd63f15afd3dafaf18eb65872688dbf9a5f96ef542a68","observation_id":"1e360908-2bf9-4943-aa05-3714d4289304","resolution":{"observed_at":"2026-07-10T03:06:43.821268Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.811919Z","title":"Quantal response equilibria for normal form games","venue":null,"work_id":"81c726e0-8a94-4289-922e-015cfa18ef40","year":1995},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:f99d2629657ba8a2ddfc47fa4d419c350e4fa68c3fca8d24526a73dc65370546","observation_id":"094afe5c-de83-4fd1-8a73-d73341a9e27e","resolution":{"observed_at":"2026-07-10T03:06:43.813150Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.780105Z","title":"Unraveling in guessing games: An experimental study,","venue":null,"work_id":"f16f6d80-37d3-448e-9aea-3ed40c28dfc8","year":1995},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:599410b483e27245e0e404a75f162a5d2cd73a90eda0bc8d3189237b6b2b56fb","observation_id":"ec303de0-31c0-470b-89a1-24891228a231","resolution":{"observed_at":"2026-07-10T03:06:43.781276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.802288Z","title":"Nisan, T","venue":null,"work_id":"62320b30-beb2-4257-854b-094460326820","year":2007},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:5d54593a3d643710108807de99fa5d408c77681a49c30aa962269f67bbfad36c","observation_id":"3049b37b-bf0f-40ae-a14b-2771bf70289b","resolution":{"observed_at":"2026-07-10T03:06:43.803477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.759374Z","title":"Equilibrium points inn-person games,","venue":null,"work_id":"75478aa3-5f33-40a4-a028-0ab3958f33b6","year":1950},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:63fee9a3747f8977dc3f5f9506d6898f9c7b25fda8fa5e1c97c39c1790a796b3","observation_id":"183b0f6a-ef4d-4153-a193-329ae966bb99","resolution":{"observed_at":"2026-07-10T03:06:43.761041Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.794583Z","title":"Zur Theorie der Gesellschaftsspiele,","venue":null,"work_id":"9bde2051-263a-4931-b6b8-2b297a97f03a","year":1928},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:be04c1e0c0c8e6da4b8236444c123a945db5145db0fd6263c6796a12c19477e4","observation_id":"35d24b0d-aff0-4f55-a6d9-89f6a9db8b9e","resolution":{"observed_at":"2026-07-10T03:06:43.795640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.815780Z","title":"Parameter estimation in large dynamic paired com- parison experiments,","venue":null,"work_id":"73c9ff06-3c6c-4e5c-84dd-893143db5a00","year":1999},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:d92c9b2cb6774828b3ca0da8247a2bbdeb5b5558bdc5eb3effcd3120c9f12936","observation_id":"3c0dfe31-0554-47b9-bb49-c09020740041","resolution":{"observed_at":"2026-07-10T03:06:43.817211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.822083Z","title":"TrueSkill: A Bayesian skill rating system,","venue":null,"work_id":"7fc5c49f-0303-44e1-99e6-9dc4e25d01a9","year":2007},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:9fcc503e8bd4b3233a09725bf62276d54a77bba4cfdc70fcb2067573a94d2234","observation_id":"52c23e51-4407-44ab-89c7-cf8546e3920d","resolution":{"observed_at":"2026-07-10T03:06:43.823233Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.766566Z","title":"Hofbauer and K","venue":null,"work_id":"63a476c9-31db-492d-8c13-4e0adb7d1063","year":1998},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:586e6a04d342e6cc0a89e887f0de7bcc2e3ff22a59db3d5b8f95aa0d188701a4","observation_id":"96f53689-2796-42d9-bd90-c6e2fd47ab40","resolution":{"observed_at":"2026-07-10T03:06:43.767734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.764720Z","title":null,"venue":null,"work_id":"c07faf61-7566-447d-aaba-9066ef21279f","year":2010},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:7f44e929064a037024594bee5641a689502fc1cc00841aea13cc78ab139dc10d","observation_id":"3eeafd7a-525e-478e-a31d-9d2abf79d495","resolution":{"observed_at":"2026-07-10T03:06:43.766170Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-10T03:06:43.796227Z","title":"Analysis of swiss-system tournament pair- ings,","venue":null,"work_id":"e910b9e4-0a3a-478d-9dd2-e47d7af33a86","year":2022},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:9207d08d4843104fc0a8797fe29a3854480190dcaf1849b6256a6c6058b50c78","observation_id":"cff8dace-ff3b-45f9-b07b-f3407d2a7dd4","resolution":{"observed_at":"2026-07-10T03:06:43.797553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.21227/vty8-p429","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Formally verified Pok ´emon TCG metagame analysis: Tournament data, matchup matrices, and Lean 4 proof artifact,","venue":"Open MIND","work_id":"359c4d3f-f1e7-4911-b888-c0f8a2e5c894","year":2026},"citing_paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-10T03:06:20.668165Z"},"links":{"citing_paper":"/paper/2607.08692"},"observation_digest":"sha256:244dcba85d034c90245c8cf1646c891e9e56a572e5631ceae8dd3f828e27f0b3","observation_id":"225a38bc-b206-44a0-a1c1-ac6d9602c732","resolution":{"observed_at":"2026-07-10T03:06:43.379791Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-07-17T20:52:14.515898+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-17T20:52:14.515898+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.08692","last_updated":"2026-07-09T16:52:05Z","latest_version":1,"primary_category":"cs.GT","snapshot_observed_at":"2026-08-19T08:32:06.729128Z","submitted_at":"2026-07-09T16:52:05Z","title":"From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":2,"verified_fuzzy":40},"total_outbound_references":44},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2607.08692."}