Paper Citation Record · LEDGER

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2412.08805 v3

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T17:37:05.330713Z

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T22:50:33.446134Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-07T22:50:33.745453Z

Reference resolution

40 of 40 outbound references displayed

verified exact2
verified fuzzy10
unresolved28
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 788165dc-6335-4894-ac17-e2c6dfcdfc9b · outbound

This paper cites GPT-4 Technical Report.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios GPT-4 Technical Report

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.076804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d14da116-582f-428c-9877-796d7e66a997 · outbound

This paper cites Playing repeated games with Large Language Models.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Playing repeated games with Large Language Models

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.083631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a935eec0-f440-4747-9d38-b3d60cd80c55 · outbound

This paper cites Claude 3.5, 2024.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Claude 3.5, 2024

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:37:06.225398Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 05b67253-0c09-4e71-a6f5-aa1f60c8f18c · outbound

This paper cites Axelrod and W.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Axelrod and W

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:37:06.205738Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 24532759-f988-4e26-9d5d-c741c69af70d · outbound

This paper cites an unresolved cited work.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-11T17:37:06.188425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4a574f84-00f5-48bc-8c9e-9646bbe43c1e · outbound

This paper cites Cosler, C.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Cosler, C

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:37:06.165070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a3f2d584-e231-415f-997b-160499326827 · outbound

This paper cites Can Large Language Models Serve as Rational Players in Game Theory? A Systematic Analysis.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Can Large Language Models Serve as Rational Players in Game Theory? A Systematic Analysis

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.115365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba082a9f-94b0-4b62-9e4a-c67ee4ca0e69 · outbound

This paper cites Language Models can be Logical Solvers.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Language Models can be Logical Solvers

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.121618Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aeae9d4e-6a5c-43c3-b933-12a589781181 · outbound

This paper cites an unresolved cited work.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-11T17:37:06.140190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation e5d16032-36ad-4992-ab1e-5face6a0ab07 · outbound

This paper cites an unresolved cited work.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-11T17:37:06.121982Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 78780d9f-16f6-4bea-83a6-c2ca84a2ea7d · outbound

This paper cites an unresolved cited work.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-11T17:37:06.104650Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 72fd65d2-a85b-4bd8-a723-19c673a3bc5e · outbound

This paper cites Gillioz, J.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Gillioz, J

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:37:06.088295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 48e3d905-2a3d-41f7-8d5c-6a9d69202180 · outbound

This paper cites CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.156254Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed9ed21d-2490-41cc-819c-8361d3f4328a · outbound

This paper cites GPT in Game Theory Experiments.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios GPT in Game Theory Experiments

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.163220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e697efd7-c517-4f30-b091-897ecfa67131 · outbound

This paper cites Solving Math Word Problems by Combining Language Models With Symbolic Solvers.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Solving Math Word Problems by Combining Language Models With Symbolic Solvers

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.170966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7308d5c1-2981-4b86-af95-8367d9ea905f · outbound

This paper cites MathPrompter: Mathematical Reasoning using Large Language Models.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios MathPrompter: Mathematical Reasoning using Large Language Models

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.177394Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21c5f9b6-ff80-4f57-95ae-5a150ec0bae2 · outbound

This paper cites Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.183056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7571bdbe-9ab5-4f5c-8a69-9ff5cc47af14 · outbound

This paper cites Lesperance, G.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Lesperance, G

Reference 18

Resolution: verified exact; doi, observed 2026-08-11T17:37:05.433661Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d48d4893-7a77-44b0-a50d-7f23083f6156 · outbound

This paper cites Strategic Behavior of Large Language Models: Game Structure vs. Contextual Framing.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Strategic Behavior of Large Language Models: Game Structure vs. Contextual Framing

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.194083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0551d952-fce7-421d-a469-f524cc1c5f55 · outbound

This paper cites an unresolved cited work.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-11T17:37:06.071209Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 986c8ddf-ae90-456a-824d-4fcd0e7d5340 · outbound

This paper cites Self-Refine: Iterative Refinement with Self-Feedback.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Self-Refine: Iterative Refinement with Self-Feedback

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.207472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e24bd8e-6b7d-444f-a63d-d71c5de5181b · outbound

This paper cites McCarthy and P.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios McCarthy and P

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:37:06.052734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 86ab4077-d8a8-4ce3-9636-1eb3eeaad23e · outbound

This paper cites Autoformalization of Game Descriptions using Large Language Models.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Autoformalization of Game Descriptions using Large Language Models

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.222058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 505646da-f9b2-4fab-b1ef-15ad4a622e14 · outbound

This paper cites an unresolved cited work.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-11T17:37:06.033226Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c89ba5d4-7d30-4c7b-9e00-32f9ea975c93 · outbound

This paper cites Osborne and A.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Osborne and A

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:37:06.011042Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ebe645f7-aab2-4e10-9954-602d5d9ecc9c · outbound

This paper cites an unresolved cited work.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-11T17:37:05.988679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ec20db8d-9bc7-47d5-bb50-cab7929cca88 · outbound

This paper cites an unresolved cited work.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.249261Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5769130-1d96-49fb-b359-88c0e1706733 · outbound

This paper cites Rasmusen.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Rasmusen

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:37:05.962356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c215db43-b40b-4f72-b538-baa121eeafda · outbound

This paper cites Self-Reflection in LLM Agents: Effects on Problem-Solving Performance.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Self-Reflection in LLM Agents: Effects on Problem-Solving Performance

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.260408Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b94962e-6092-4e7d-bd7b-a15bba779454 · outbound

This paper cites an unresolved cited work.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.267802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abd1863a-e81a-4c3b-838d-c8d96d5d0e6d · outbound

This paper cites Schiffel and M.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Schiffel and M

Reference 31

Resolution: verified exact; doi, observed 2026-08-11T17:37:05.383773Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 03176ab2-70c4-486b-918f-11232b8ee232 · outbound

This paper cites Reflexion: Language Agents with Verbal Reinforcement Learning.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Reflexion: Language Agents with Verbal Reinforcement Learning

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.280976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92e80ed5-d7b0-4b60-aace-d60ba3fedb05 · outbound

This paper cites Thielscher.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Thielscher

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:37:05.943442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2feba4a6-dec4-41e2-89b2-776a5adb6dae · outbound

This paper cites Thielscher.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Thielscher

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:37:05.921050Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6966cf7e-bc05-4e2f-82bd-9e14df86f8a6 · outbound

This paper cites RUPBench: Benchmarking Reasoning Under Perturbations for Robustness Evaluation in Large Language Models.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios RUPBench: Benchmarking Reasoning Under Perturbations for Robustness Evaluation in Large Language Models

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.300917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebde8150-c4df-47c8-bd12-2d0ecbe9309a · outbound

This paper cites Wielemaker, T.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Wielemaker, T

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:37:05.879411Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 56b7e4f1-1c64-42a8-a7f5-4c981983d7b1 · outbound

This paper cites an unresolved cited work.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-11T17:37:05.851052Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 81562e3a-26aa-443b-b894-b46e6a856a33 · outbound

This paper cites Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.323779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6dd4e08-fdae-4b38-9243-425a7a1c69a3 · outbound

This paper cites A Survey of Large Language Models.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios A Survey of Large Language Models

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.330713Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d1754ca-8e27-4ad6-964a-053389fb4003 · outbound

This paper cites an unresolved cited work.

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios Unresolved cited work

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-11T17:37:05.151010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation ea1fd4b5-2ade-41d3-8d78-b5b3077c3502 · inbound

Game Theory Meets Large Language Models: A Systematic Survey with Taxonomy and New Frontiers cites this paper.

Game Theory Meets Large Language Models: A Systematic Survey with Taxonomy and New Frontiers Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios

Reference 228

Resolution: verified exact; local_arxiv, observed 2026-08-07T22:50:33.749665Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.