{"as_of":"2026-08-21T19:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ceb70e8b5883c4c636bc938f3cffaf1eaccd6f2fba89b747d2428f54b7986188","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-21T06:32:19.484+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-17T17:01:18.574540Z","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-15T19:20:27.516820Z","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:bffcefedd024686475320338d9d390019069fd533c6efaa79d1c11a1e8ced6bf","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"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-17T09:58:46.058102Z","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-17T17:01:18.574540Z","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:cbac8071dc562b154443282074c66c92f993fd9fea172fe967a209c2a4a4c37a","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-08-18T11:09:48.072216Z","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-17T17:01:18.574540Z","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:fd1b480bf6e8f925397dd0c23fdf45b16e4368a6d353a438f7fccf12a7960676","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-17T17:01:18.574540Z","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:56fba19a1f45636ab2dda635bec00d55a25bd4b2cd074ffec553449f8e1489ab","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T17:01:18.574540Z","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:3bc9a3787f2e72c3c65d5239409b0b8a4aad48105f7ca6a475c64ea443ad0f3f","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T17:01:18.574540Z","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:63708f846bd4d5555b4bab7a841af106c873c0b70a2fc03d54f358132085eae0","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T17:01:18.574540Z","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:2ce7953ca0c0abc9608dad4f842cff3009133859378b5945593ee97e2415186e","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.05488","last_updated":"2023-12-12T18:32:39Z","snapshot_observed_at":"2026-08-16T14:36:20.550103Z","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-17T17:01:18.574540Z","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:95dad8c56d3165ebbe373c4accbcaa0d876d2dec6b9d149b2f3136ceaa008585","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-16T17:40:55.592497Z","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-17T17:01:18.574540Z","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:e52c5761cc7b30402725751da0138efeee8abb140c9fd589d0ed975ad89891ae","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-17T17:01:18.574540Z","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:8f582249b406645d23999f0475e1be06ed669de9bb7e6a9ea8d6250dd52d5256","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T17:01:18.574540Z","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:a1d791b1afdc72dfd34864be5d1c25ae7cab27358503b3f5d77b13b80127b310","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T17:01:18.574540Z","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:c89254a8c4c031a4266673a09af5a2add6e943b825483ed44a0d82268dadb0bf","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T17:01:18.574540Z","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:abcaf940ad8d77a73c6b7222b6a967b416ce7aa250146acb4816b651b50838b5","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.11738","last_updated":"2024-02-21T12:59:21Z","snapshot_observed_at":"2026-08-20T14:59:36.339701Z","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-17T17:01:18.574540Z","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:8d925acfeba66082ac0f23327c834e611b08ebd2be5dce2e60e65a44b5e87f33","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-08-21T11:04:06.161377Z","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-17T17:01:18.574540Z","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:88bcdce2ff9ae21ad7f43187331be533a58697d2c9bceb16a8a7643712a1973c","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-21T12:51:22.101065Z","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-17T17:01:18.574540Z","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:55bd935526ee9d6514c49428500ede5bbe08d9f5639ec66f165e02e8af53ddd6","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-16T15:50:52.123484Z","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-17T17:01:18.574540Z","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:9c093ae5e410706a141156b4a152c0aedf973683e60059cd53b07c1fe7713199","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-18T21:03:18.814311Z","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-17T17:01:18.574540Z","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:88d08d4656add481700866504fd22539dc02ba27b1a21d6ebb63f2d7c2ed4385","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-17T17:01:18.574540Z","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:b590555d8df6d2ba77c90e2b2f54c6ddc951476f599291810144e8ac20910937","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.05898","last_updated":"2023-09-12T00:54:15Z","snapshot_observed_at":"2026-08-19T06:12:06.582644Z","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-17T17:01:18.574540Z","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:3f55c71751576a4efdbaccc773a4654a8c9a1ffc54f0000b0d5ce8cd209ec5e5","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-17T17:01:18.574540Z","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:35cde17a538350b9a8e34094f0e3910043eab92da9cb5fdb35fd0875099e7e21","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.17651","last_updated":"2023-05-25T19:13:47Z","snapshot_observed_at":"2026-08-21T18:20:05.692256Z","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-17T17:01:18.574540Z","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:0204c732d486ddd5e3c41d6cd7a492b29256664509582bb639cf23fdf1f95a99","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-17T17:01:18.574540Z","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:dcd08d91bdef623866c9d83bb9033c31f874577c8d499dabcadccf5e59a6ad4c","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12300","last_updated":"2024-09-18T20:18:53Z","snapshot_observed_at":"2026-08-16T13:17:22.197758Z","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-17T17:01:18.574540Z","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:5a933530110a32a1e034a3409a37c45ba40cf0735974c1049ddd71e9d46f3e01","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-17T17:01:18.574540Z","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:aa68599e6f8878eafa35cc491dee65b3a3c36b9ad569ade9563a7d95366cb6c7","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T17:01:18.574540Z","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:2691ff46ee1b4b9a41377945c5c0ddad6994cfe5c330b2255b39f9251774df4d","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T17:01:18.574540Z","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:3fafd507739083b4c789f87fa3b127da6438ba75b9cf2004c5d5d57c6cca888c","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T17:01:18.574540Z","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:20dc1ac7d5b0b0b9e2c12ec3e9b92fd9198b21b7edef8153af613441ce2945f7","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-17T17:01:18.574540Z","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:1e293b682cb899ed48caa002cc9cf6c66229697165eff0fa3879a33195e9e54e","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06682","last_updated":"2024-10-16T23:19:46Z","snapshot_observed_at":"2026-08-19T05:46:32.206517Z","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-17T17:01:18.574540Z","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:f921fdc9984337baf5d740bd893c5e745c28e431e83694314582bd05c890d0e2","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-17T17:01:18.574540Z","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:3f709e9d3729d074a7198040fc35d0d483bc0db6771077f2d73a296193ac27ca","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-17T17:01:18.574540Z","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:3a66512d87766f621b9b1dd38c6937a606491f529814206befa1ec6c66feb60e","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.11366","last_updated":"2023-10-10T05:21:45Z","snapshot_observed_at":"2026-08-17T19:15:32.679249Z","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-17T17:01:18.574540Z","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:e387e57fe7de5418b1d6a17ac2982672b2309307b54a3bf17e8004f2469bc5f2","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-17T17:01:18.574540Z","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:b14cca313bb74784a1de0c92ca3d932fe2e739ecd5717a53888fb1c0b876aae5","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T17:01:18.574540Z","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:9699cbe4941822305aea921fe76237096911ecbbbb5925aa3d5eec3840f1651b","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.11020","last_updated":"2024-06-16T17:26:44Z","snapshot_observed_at":"2026-08-20T00:44:06.931246Z","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-17T17:01:18.574540Z","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:1b09ab0b798929c3a1342418f94eb4d504de385dd9ed696f9f1287e86faae2b6","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-17T17:01:18.574540Z","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:80dead1b4f46c6d61113c9c0683e4c8817c0ecfd3b1380eb6a95e9833a051b99","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T17:01:18.574540Z","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:78638db6e1ad8aa31191889aa6e6d8f969efc90ab5e3852735f843bc04bdd06f","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.07696","last_updated":"2023-07-15T03:29:59Z","snapshot_observed_at":"2026-08-16T15:16:05.175762Z","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-17T17:01:18.574540Z","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:29945a90227e6ba9a1071e36b840eddf2cf28c637d6235f31bee8652733b1852","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-14T10:40:26.323157Z","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-17T17:01:18.574540Z","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:31d4186ef38544d07071c4a2fd02b310cf849bded60c15cf5a0fa8043eb6e2db","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-17T17:01:18.574540Z","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:42d185d4d4f053cc3d8ec52030f9a6099090f56f3c92bee44bc29a21234728b6","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-17T17:01:18.574540Z","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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 1 inbound Pith citation observation for arXiv:2412.08805."}