{"as_of":"2026-08-12T21:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:179afdfbba57517833d5a47f90a12ce8c0d543bfb3f79a42d81a315d802cd256","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T17:37:05.330713Z","state":"measured"},{"denominator":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T22:50:33.446134Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-07T22:50:33.745453Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"cited_work":{"arxiv_id":"2412.08805","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.08805","snapshot_observed_at":"2026-08-07T22:50:33.745453Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","venue":"cs.AI","work_id":"807427a6-5800-44b2-8e13-5225d7e01a5a","year":2024},"citing_paper":{"arxiv_id":"2502.09053","last_updated":"2025-08-05T02:23:31Z","snapshot_observed_at":"2026-08-08T10:12:47.586452Z","submitted_at":"2025-02-13T08:08:27Z","title":"Game Theory Meets Large Language Models: A Systematic Survey with Taxonomy and New Frontiers","version":2},"reference_index":228,"source":"pdf_text","source_observed_at":"2026-08-07T22:50:33.446134Z"},"links":{"cited_paper":"/paper/2412.08805","citing_paper":"/paper/2502.09053"},"observation_digest":"sha256:07f4f5644376d964667a19d101ea075766ca9285411b8ad441d36b63a3084956","observation_id":"ea1fd4b5-2ade-41d3-8d78-b5b3077c3502","resolution":{"observed_at":"2026-08-07T22:50:33.749665Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2412.08805/citation-record","integrity":"/paper/2412.08805/integrity","json":"/paper/2412.08805/citation-record.json","paper":"/paper/2412.08805"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-11T17:37:05.076804Z","title":"Achiam, S","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.076804Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:ffdd3b4ddde76696939ce4e712f9c798618b11a2f6141f37a4aa9604230a1e7e","observation_id":"788165dc-6335-4894-ac17-e2c6dfcdfc9b","resolution":{"observed_at":"2026-08-11T17:37:05.076804Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.16867","last_updated":"2025-05-07T12:44:45Z","snapshot_observed_at":"2026-07-30T23:00:07.898209Z","submitted_at":"2023-05-26T12:17:59Z","title":"Playing repeated games with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.16867","snapshot_observed_at":"2026-08-11T17:37:05.083631Z","title":"Akata, L","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.083631Z"},"links":{"cited_paper":"/paper/2305.16867","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:8fe7a8ec6e962bad30e71aca9be76f24acaa9bcb10fb063bf7925859de1e1415","observation_id":"d14da116-582f-428c-9877-796d7e66a997","resolution":{"observed_at":"2026-08-11T17:37:05.083631Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:06.219627Z","title":"Claude 3.5, 2024","venue":null,"work_id":"ba4e9061-f3e4-4339-a96e-03d34eb2185b","year":2024},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.089755Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:61666a9d4e9b373317dfb36b2d3b5619ed7e0ca58be16ba0708f7d518b6d3f81","observation_id":"a935eec0-f440-4747-9d38-b3d60cd80c55","resolution":{"observed_at":"2026-08-11T17:37:06.225398Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:06.200459Z","title":"Axelrod and W","venue":null,"work_id":"19b0e2a9-c0bb-4ad0-baae-523ffd503b1f","year":1981},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.096152Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:7e22b53abcde6c1a70774dd72531fabdc09a2791bcb64d00fdfc742c102965e4","observation_id":"05b67253-0c09-4e71-a6f5-aa1f60c8f18c","resolution":{"observed_at":"2026-08-11T17:37:06.205738Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:06.180763Z","title":null,"venue":null,"work_id":"c580f813-c6d5-4362-a10b-d74bb521dfef","year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.102379Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:51284b7afff61c0dc4e48dddfd3452d38992e5564e59f4b6422f456c7ae36e75","observation_id":"24532759-f988-4e26-9d5d-c741c69af70d","resolution":{"observed_at":"2026-08-11T17:37:06.188425Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:06.154854Z","title":"Cosler, C","venue":null,"work_id":"0b4500e2-37f8-4738-88c2-50d139576eb9","year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.108561Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:4884fd787d41b821e399de4b434e3058ba46139b869c731b482a21ac7dd9ee05","observation_id":"4a574f84-00f5-48bc-8c9e-9646bbe43c1e","resolution":{"observed_at":"2026-08-11T17:37:06.165070Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.05488","last_updated":"2023-12-12T18:32:39Z","snapshot_observed_at":"2026-08-10T07:02:51.727302Z","submitted_at":"2023-12-09T07:33:26Z","title":"Can Large Language Models Serve as Rational Players in Game Theory? A Systematic Analysis","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.05488","snapshot_observed_at":"2026-08-11T17:37:05.115365Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.115365Z"},"links":{"cited_paper":"/paper/2312.05488","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:aba77ad4d837fe081093a518611dc461282777001024f5187d047c86f2db4c44","observation_id":"a3f2d584-e231-415f-997b-160499326827","resolution":{"observed_at":"2026-08-11T17:37:05.115365Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.06158","last_updated":"2023-11-10T16:23:50Z","snapshot_observed_at":"2026-08-11T07:21:48.398311Z","submitted_at":"2023-11-10T16:23:50Z","title":"Language Models can be Logical Solvers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.06158","snapshot_observed_at":"2026-08-11T17:37:05.121618Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.121618Z"},"links":{"cited_paper":"/paper/2311.06158","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:cc8e37c47b0500833c335345730269972a2dcde3e6c625177bd97121dd6f711b","observation_id":"ba082a9f-94b0-4b62-9e4a-c67ee4ca0e69","resolution":{"observed_at":"2026-08-11T17:37:05.121618Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:06.133007Z","title":null,"venue":null,"work_id":"4e6edb7f-6a23-4750-b8fd-1a16c5254167","year":2005},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.127282Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:bcfee075682201d80acc62f86a1efaac606269d5e96f317bbb722dd83cf04950","observation_id":"aeae9d4e-6a5c-43c3-b933-12a589781181","resolution":{"observed_at":"2026-08-11T17:37:06.140190Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:06.117069Z","title":null,"venue":null,"work_id":"90c3a3c0-ea0c-4b2b-8bc2-959b7966b82f","year":2010},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.132407Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:3b52445b872f38f4a80d01e4d00ff12cb3a4e598371e203fcabb77e57e874957","observation_id":"e5d16032-36ad-4992-ab1e-5face6a0ab07","resolution":{"observed_at":"2026-08-11T17:37:06.121982Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:06.099035Z","title":null,"venue":null,"work_id":"4cef9b58-2938-44e5-a2b6-bd8b8313ad85","year":1992},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.138112Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:6f24a2dbd2f414f23a1eabeca7c016afa65192ef2cfb2ba85106ab4ee257eb4d","observation_id":"78780d9f-16f6-4bea-83a6-c2ca84a2ea7d","resolution":{"observed_at":"2026-08-11T17:37:06.104650Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:06.083160Z","title":"Gillioz, J","venue":null,"work_id":"25de59d6-2559-4e13-86de-8ba84ba4baa1","year":2020},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.144005Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:a2daa6541696657c6fbdad933f5354246121066627e41fe6bf0cdf78757454bb","observation_id":"72fd65d2-a85b-4bd8-a723-19c673a3bc5e","resolution":{"observed_at":"2026-08-11T17:37:06.088295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.11738","last_updated":"2024-02-21T12:59:21Z","snapshot_observed_at":"2026-07-31T18:12:14.483728Z","submitted_at":"2023-05-19T15:19:44Z","title":"CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.11738","snapshot_observed_at":"2026-08-11T17:37:05.156254Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.156254Z"},"links":{"cited_paper":"/paper/2305.11738","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:403db2ac277b306cbcd1b44dbbcbe23b381c78aebff6a4c394714d7e6e417761","observation_id":"48e3d905-2a3d-41f7-8d5c-6a9d69202180","resolution":{"observed_at":"2026-08-11T17:37:05.156254Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.05516","last_updated":"2023-12-11T17:46:36Z","snapshot_observed_at":"2026-07-06T15:25:08.896707Z","submitted_at":"2023-05-09T15:11:13Z","title":"GPT in Game Theory Experiments","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.05516","snapshot_observed_at":"2026-08-11T17:37:05.163220Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.163220Z"},"links":{"cited_paper":"/paper/2305.05516","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:9d0009cdf9190e1344fb027547a5cc17be99fa7409bab80c545537700b28aafd","observation_id":"ed9ed21d-2490-41cc-819c-8361d3f4328a","resolution":{"observed_at":"2026-08-11T17:37:05.163220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.09102","last_updated":"2023-04-16T04:16:06Z","snapshot_observed_at":"2026-08-10T22:33:44.844382Z","submitted_at":"2023-04-16T04:16:06Z","title":"Solving Math Word Problems by Combining Language Models With Symbolic Solvers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.09102","snapshot_observed_at":"2026-08-11T17:37:05.170966Z","title":"He-Yueya, G","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.170966Z"},"links":{"cited_paper":"/paper/2304.09102","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:301b800c04509cd01d027dc21efb728e66e4dc74379dbd55d84f1b11a44e28dd","observation_id":"e697efd7-c517-4f30-b091-897ecfa67131","resolution":{"observed_at":"2026-08-11T17:37:05.170966Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.05398","last_updated":"2023-03-04T04:43:49Z","snapshot_observed_at":"2026-08-12T13:32:57.185213Z","submitted_at":"2023-03-04T04:43:49Z","title":"MathPrompter: Mathematical Reasoning using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.05398","snapshot_observed_at":"2026-08-11T17:37:05.177394Z","title":"Imani, L","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.177394Z"},"links":{"cited_paper":"/paper/2303.05398","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:5046a1a1e64c219ee0da2af970765a9b22ea3f57171fc4efd519e07864b03e94","observation_id":"7308d5c1-2981-4b86-af95-8367d9ea905f","resolution":{"observed_at":"2026-08-11T17:37:05.177394Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.12283","last_updated":"2023-02-20T16:10:20Z","snapshot_observed_at":"2026-08-09T00:42:45.030767Z","submitted_at":"2022-10-21T22:37:22Z","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.12283","snapshot_observed_at":"2026-08-11T17:37:05.183056Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.183056Z"},"links":{"cited_paper":"/paper/2210.12283","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:6c7fbbf64568e64dbae19ae8070079938e99d9ceef0009aecc9cb25988ad18d4","observation_id":"21c5f9b6-ff80-4f57-95ae-5a150ec0bae2","resolution":{"observed_at":"2026-08-11T17:37:05.183056Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v38i9.28933","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:05.427057Z","title":"Lesperance, G","venue":null,"work_id":"41688733-3ab4-4a65-928c-7eafec7aa5b6","year":2024},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.188281Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:1edcebc35963bc308466c60b3ab6700140beff73da9176748729fec15e034d26","observation_id":"7571bdbe-9ab5-4f5c-8a69-9ff5cc47af14","resolution":{"observed_at":"2026-08-11T17:37:05.433661Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.05898","last_updated":"2023-09-12T00:54:15Z","snapshot_observed_at":"2026-07-17T23:17:47.229288Z","submitted_at":"2023-09-12T00:54:15Z","title":"Strategic Behavior of Large Language Models: Game Structure vs. Contextual Framing","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.05898","snapshot_observed_at":"2026-08-11T17:37:05.194083Z","title":"Lorè and B","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.194083Z"},"links":{"cited_paper":"/paper/2309.05898","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:da9d72460daca8ea6e021fc933787b6005619666d3a67b1fb1d6cbfbd4780f9e","observation_id":"d48d4893-7a77-44b0-a50d-7f23083f6156","resolution":{"observed_at":"2026-08-11T17:37:05.194083Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:06.065045Z","title":null,"venue":null,"work_id":"b9d4c603-d2e6-4ddb-9d76-2c8c425c6590","year":2006},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.199969Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:dc514b272133f35590655126b9a729cc60fbf8d3e4b5b93b46e78ed8f08aa1e6","observation_id":"0551d952-fce7-421d-a469-f524cc1c5f55","resolution":{"observed_at":"2026-08-11T17:37:06.071209Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.17651","last_updated":"2023-05-25T19:13:47Z","snapshot_observed_at":"2026-08-12T13:30:30.615172Z","submitted_at":"2023-03-30T18:30:01Z","title":"Self-Refine: Iterative Refinement with Self-Feedback","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.17651","snapshot_observed_at":"2026-08-11T17:37:05.207472Z","title":"Madaan, N","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.207472Z"},"links":{"cited_paper":"/paper/2303.17651","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:d6ac263f584d112b9da506ed2525582d8f6dd085ca4b005758f83468398bd2bb","observation_id":"986c8ddf-ae90-456a-824d-4fcd0e7d5340","resolution":{"observed_at":"2026-08-11T17:37:05.207472Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:06.047653Z","title":"McCarthy and P","venue":null,"work_id":"e8fa9628-20ad-4fc9-9e6d-e23157eb3afd","year":1981},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.214471Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:01714c9346e36dd2b597d058ae56e53aa5dd1f5b85070b016e8419827c30221b","observation_id":"7e24bd8e-6b7d-444f-a63d-d71c5de5181b","resolution":{"observed_at":"2026-08-11T17:37:06.052734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12300","last_updated":"2024-09-18T20:18:53Z","snapshot_observed_at":"2026-08-03T16:36:36.311582Z","submitted_at":"2024-09-18T20:18:53Z","title":"Autoformalization of Game Descriptions using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12300","snapshot_observed_at":"2026-08-11T17:37:05.222058Z","title":"Mensfelt, K","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.222058Z"},"links":{"cited_paper":"/paper/2409.12300","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:ba63c582f7c1f9757e904a87e31fea0918ce9ce851471a0a78f7a24b111e7992","observation_id":"86ab4077-d8a8-4ce3-9636-1eb3eeaad23e","resolution":{"observed_at":"2026-08-11T17:37:05.222058Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:06.025643Z","title":null,"venue":null,"work_id":"95a093e0-c7fb-4ad3-924c-8c90c733a16f","year":2024},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.228530Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:1c46757e781aa2f11cb985a197125620b9c533a9b7f3b4c84c3b97a6dd97fa67","observation_id":"505646da-f9b2-4fab-b1ef-15ad4a622e14","resolution":{"observed_at":"2026-08-11T17:37:06.033226Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:06.002956Z","title":"Osborne and A","venue":null,"work_id":"1c6a1473-22b5-4a91-b91f-89278fab6897","year":1994},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.235221Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:f656b251b9078cedc3e0ae76c7ba6f3200a3c0a2cc6b77b02c11addf1e68da51","observation_id":"c89ba5d4-7d30-4c7b-9e00-32f9ea975c93","resolution":{"observed_at":"2026-08-11T17:37:06.011042Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:05.982399Z","title":null,"venue":null,"work_id":"16339264-8e3f-4181-8591-c90828aa0725","year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.243234Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:924e3eafc53714c89fc091b5b024f5daf9ccacab7a02e159a31bb34858c4acd3","observation_id":"ebe645f7-aab2-4e10-9954-602d5d9ecc9c","resolution":{"observed_at":"2026-08-11T17:37:05.988679Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:05.249261Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.249261Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:6aa1c339efcb4735ca27d948bac8c8f69eed26bed22f77825a40655641d26120","observation_id":"ec20db8d-9bc7-47d5-bb50-cab7929cca88","resolution":{"observed_at":"2026-08-11T17:37:05.249261Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:05.956843Z","title":"Rasmusen","venue":null,"work_id":"86b75deb-e639-4091-9182-cf947c8004aa","year":2006},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.255509Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:4e68727798c2f40e084fb02cea9c946255f3e6407f708cb7eb4dad81dff07261","observation_id":"a5769130-1d96-49fb-b359-88c0e1706733","resolution":{"observed_at":"2026-08-11T17:37:05.962356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06682","last_updated":"2024-10-16T23:19:46Z","snapshot_observed_at":"2026-08-09T03:34:21.327905Z","submitted_at":"2024-05-05T18:56:46Z","title":"Self-Reflection in LLM Agents: Effects on Problem-Solving Performance","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.06682","snapshot_observed_at":"2026-08-11T17:37:05.260408Z","title":"Renze and E","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.260408Z"},"links":{"cited_paper":"/paper/2405.06682","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:2a72845db22db611bafd0f1bb315706533297beaa0abcab5789c9d4aaadab769","observation_id":"c215db43-b40b-4f72-b538-baa121eeafda","resolution":{"observed_at":"2026-08-11T17:37:05.260408Z","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-11T17:37:05.267802Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.267802Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:92cd024f7a656f474fd5dc85d9518347c5b5622aab4060e189c0c687c45b56e1","observation_id":"4b94962e-6092-4e7d-bd7b-a15bba779454","resolution":{"observed_at":"2026-08-11T17:37:05.267802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v25i1.7944","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:05.372860Z","title":"Schiffel and M","venue":null,"work_id":"c918fb53-2eaf-4657-95e7-468a08cc1b83","year":2011},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.274621Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:62920612df998e173f04c64962301338737460e8b84885ad647d0d50dc50eab3","observation_id":"abd1863a-e81a-4c3b-838d-c8d96d5d0e6d","resolution":{"observed_at":"2026-08-11T17:37:05.383773Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.11366","last_updated":"2023-10-10T05:21:45Z","snapshot_observed_at":"2026-08-10T17:44:16.302071Z","submitted_at":"2023-03-20T18:08:50Z","title":"Reflexion: Language Agents with Verbal Reinforcement Learning","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.11366","snapshot_observed_at":"2026-08-11T17:37:05.280976Z","title":"Shinn, F","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.280976Z"},"links":{"cited_paper":"/paper/2303.11366","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:dd8fdd38b96dd9bf84da79694b3a88985ae00a90e0bf58ffed28046f05725af3","observation_id":"03176ab2-70c4-486b-918f-11232b8ee232","resolution":{"observed_at":"2026-08-11T17:37:05.280976Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:05.937353Z","title":"Thielscher","venue":null,"work_id":"5d17bb8d-2f9c-4bee-9ce6-1e46e4a6c241","year":2010},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.287475Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:541984db18a9420bfb3e9178879a3d8b8ee0d6e13979b13697e35d4eccbb20cb","observation_id":"92e80ed5-d7b0-4b60-aace-d60ba3fedb05","resolution":{"observed_at":"2026-08-11T17:37:05.943442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:05.905996Z","title":"Thielscher","venue":null,"work_id":"7eb280f5-c232-4520-94e2-ef90ea2dfc15","year":2011},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.293888Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:5f24646b0a98066b63b90b8aaa1c792afc704d2965a685d51ed5ee7e1c322cff","observation_id":"2feba4a6-dec4-41e2-89b2-776a5adb6dae","resolution":{"observed_at":"2026-08-11T17:37:05.921050Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.11020","last_updated":"2024-06-16T17:26:44Z","snapshot_observed_at":"2026-08-09T20:15:23.957445Z","submitted_at":"2024-06-16T17:26:44Z","title":"RUPBench: Benchmarking Reasoning Under Perturbations for Robustness Evaluation in Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.11020","snapshot_observed_at":"2026-08-11T17:37:05.300917Z","title":"Wang and Y","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.300917Z"},"links":{"cited_paper":"/paper/2406.11020","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:34e99be42d60dc982f899522d0ad89cd1a99ab74693d5e19cc4346003b7c4874","observation_id":"6966cf7e-bc05-4e2f-82bd-9e14df86f8a6","resolution":{"observed_at":"2026-08-11T17:37:05.300917Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:05.872732Z","title":"Wielemaker, T","venue":null,"work_id":"63efa60d-acc5-4678-82f4-484d4b693659","year":2012},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.309318Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:c3f7ebc0cc58eda9ace9b3c7a3a866deca686481435bd731625abb5da34dde89","observation_id":"ebde8150-c4df-47c8-bd12-2d0ecbe9309a","resolution":{"observed_at":"2026-08-11T17:37:05.879411Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:37:05.836192Z","title":null,"venue":null,"work_id":"f9b85026-b352-45a7-b238-e835d5a95280","year":2022},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.316943Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:6bb19d7d6ffcd99dda3a9b97db0af77582a951dc3f4d910d33995391d7a604df","observation_id":"56b7e4f1-1c64-42a8-a7f5-4c981983d7b1","resolution":{"observed_at":"2026-08-11T17:37:05.851052Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.07696","last_updated":"2023-07-15T03:29:59Z","snapshot_observed_at":"2026-08-12T09:31:54.484731Z","submitted_at":"2023-07-15T03:29:59Z","title":"Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.07696","snapshot_observed_at":"2026-08-11T17:37:05.323779Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.323779Z"},"links":{"cited_paper":"/paper/2307.07696","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:359eb1672f63184542e080c3800161ec84b4bb15f18dea01c50c68935e919d60","observation_id":"81562e3a-26aa-443b-b894-b46e6a856a33","resolution":{"observed_at":"2026-08-11T17:37:05.323779Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.18223","last_updated":"2026-03-18T05:34:39Z","snapshot_observed_at":"2026-08-06T23:27:24.356320Z","submitted_at":"2023-03-31T17:28:46Z","title":"A Survey of Large Language Models","version":19},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.18223","snapshot_observed_at":"2026-08-11T17:37:05.330713Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.330713Z"},"links":{"cited_paper":"/paper/2303.18223","citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:01a73d888ef9ed5c7940acec11cf198e8952a6018a21f110f7c8fd6d91b43da2","observation_id":"d6dd4e08-fdae-4b38-9243-425a7a1c69a3","resolution":{"observed_at":"2026-08-11T17:37:05.330713Z","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-11T17:37:05.151010Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","version":3},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-11T17:37:05.151010Z"},"links":{"citing_paper":"/paper/2412.08805"},"observation_digest":"sha256:9f6ead969a7aba4c3336e4030a1954f1d63ccc5d52f8a703cbd15fb22ba25634","observation_id":"0d1754ca-8e27-4ad6-964a-053389fb4003","resolution":{"observed_at":"2026-08-11T17:37:05.151010Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2412.08805","last_updated":"2025-05-29T16:48:53Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-11T18:37:50.909670Z","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":28,"verified_exact":2,"verified_fuzzy":10},"total_outbound_references":40},"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 40 of 40 outbound references and 1 inbound Pith citation observation for arXiv:2412.08805."}