{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:AKO37EJQ64QPVINWE3OUEE5FFQ","short_pith_number":"pith:AKO37EJQ","canonical_record":{"source":{"id":"2412.08805","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-11T22:37:45Z","cross_cats_sorted":[],"title_canon_sha256":"1ce74311cb3dbf42ad3d10b7938eb5f760357fc8125a2235cd461bf5f4951cd0","abstract_canon_sha256":"b9f94a97dfec621b26eef1c0647c47ad9c0fd487a5a45d7deeec621dea3a6057"},"schema_version":"1.0"},"canonical_sha256":"029dbf9130f720faa1b626dd4213a52c3686fa17aed3926d417b396de59111cf","source":{"kind":"arxiv","id":"2412.08805","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.08805","created_at":"2026-07-05T11:11:38Z"},{"alias_kind":"arxiv_version","alias_value":"2412.08805v3","created_at":"2026-07-05T11:11:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.08805","created_at":"2026-07-05T11:11:38Z"},{"alias_kind":"pith_short_12","alias_value":"AKO37EJQ64QP","created_at":"2026-07-05T11:11:38Z"},{"alias_kind":"pith_short_16","alias_value":"AKO37EJQ64QPVINW","created_at":"2026-07-05T11:11:38Z"},{"alias_kind":"pith_short_8","alias_value":"AKO37EJQ","created_at":"2026-07-05T11:11:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:AKO37EJQ64QPVINWE3OUEE5FFQ","target":"record","payload":{"canonical_record":{"source":{"id":"2412.08805","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-11T22:37:45Z","cross_cats_sorted":[],"title_canon_sha256":"1ce74311cb3dbf42ad3d10b7938eb5f760357fc8125a2235cd461bf5f4951cd0","abstract_canon_sha256":"b9f94a97dfec621b26eef1c0647c47ad9c0fd487a5a45d7deeec621dea3a6057"},"schema_version":"1.0"},"canonical_sha256":"029dbf9130f720faa1b626dd4213a52c3686fa17aed3926d417b396de59111cf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:11:38.468569Z","signature_b64":"FYxHPFxc+EGc5uK+zBtjr01JhyMXBoxir8JxNaHQhrzELQXlp2pRZwtG/kX5QstyqWCSgFV3GnPwSZ1VHwiBBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"029dbf9130f720faa1b626dd4213a52c3686fa17aed3926d417b396de59111cf","last_reissued_at":"2026-07-05T11:11:38.468050Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:11:38.468050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.08805","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:11:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xuInTZUePZTYmdfFoWyR3LV6hezZbYsWDAF2qY7mSQ8ORmDSHcoCfZIYB2Uu7jTFZ1l7HchbLIOEAVEmLfWEAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T18:48:18.176153Z"},"content_sha256":"0bda6e0ec29bd47b412210ab82964089993ad2d9bcbd24ead576e845226c5ffe","schema_version":"1.0","event_id":"sha256:0bda6e0ec29bd47b412210ab82964089993ad2d9bcbd24ead576e845226c5ffe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:AKO37EJQ64QPVINWE3OUEE5FFQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi","submitted_at":"2024-12-11T22:37:45Z","abstract_excerpt":"Multi-agent simulations are versatile tools for exploring interactions among natural and artificial agents, but their development typically demands domain expertise and manual effort. This work introduces the Generative Agents for Multi-Agent Autoformalization (GAMA) framework, which automates the formalization of interaction scenarios in simulations using agents augmented with large language models (LLMs). To demonstrate the application of GAMA, we use natural language descriptions of game-theoretic scenarios representing social interactions, and we autoformalize them into executable logic pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.08805","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2412.08805/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:11:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jmzgAdVYLqhFDsyG2tGcn51uGC8R8plNQQW8qseExhvydMlMv0KVIzljN1UeTQhcmvqUBWCY+I+11JWL8vyeCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T18:48:18.177021Z"},"content_sha256":"8aeb2f0546ad14081d054df73ac53eeceb5ea6618c733d97b330000dbcc777ef","schema_version":"1.0","event_id":"sha256:8aeb2f0546ad14081d054df73ac53eeceb5ea6618c733d97b330000dbcc777ef"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AKO37EJQ64QPVINWE3OUEE5FFQ/bundle.json","state_url":"https://pith.science/pith/AKO37EJQ64QPVINWE3OUEE5FFQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AKO37EJQ64QPVINWE3OUEE5FFQ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-12T18:48:18Z","links":{"resolver":"https://pith.science/pith/AKO37EJQ64QPVINWE3OUEE5FFQ","bundle":"https://pith.science/pith/AKO37EJQ64QPVINWE3OUEE5FFQ/bundle.json","state":"https://pith.science/pith/AKO37EJQ64QPVINWE3OUEE5FFQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AKO37EJQ64QPVINWE3OUEE5FFQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:AKO37EJQ64QPVINWE3OUEE5FFQ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"b9f94a97dfec621b26eef1c0647c47ad9c0fd487a5a45d7deeec621dea3a6057","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-11T22:37:45Z","title_canon_sha256":"1ce74311cb3dbf42ad3d10b7938eb5f760357fc8125a2235cd461bf5f4951cd0"},"schema_version":"1.0","source":{"id":"2412.08805","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.08805","created_at":"2026-07-05T11:11:38Z"},{"alias_kind":"arxiv_version","alias_value":"2412.08805v3","created_at":"2026-07-05T11:11:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.08805","created_at":"2026-07-05T11:11:38Z"},{"alias_kind":"pith_short_12","alias_value":"AKO37EJQ64QP","created_at":"2026-07-05T11:11:38Z"},{"alias_kind":"pith_short_16","alias_value":"AKO37EJQ64QPVINW","created_at":"2026-07-05T11:11:38Z"},{"alias_kind":"pith_short_8","alias_value":"AKO37EJQ","created_at":"2026-07-05T11:11:38Z"}],"graph_snapshots":[{"event_id":"sha256:8aeb2f0546ad14081d054df73ac53eeceb5ea6618c733d97b330000dbcc777ef","target":"graph","created_at":"2026-07-05T11:11:38Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2412.08805/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Multi-agent simulations are versatile tools for exploring interactions among natural and artificial agents, but their development typically demands domain expertise and manual effort. This work introduces the Generative Agents for Multi-Agent Autoformalization (GAMA) framework, which automates the formalization of interaction scenarios in simulations using agents augmented with large language models (LLMs). To demonstrate the application of GAMA, we use natural language descriptions of game-theoretic scenarios representing social interactions, and we autoformalize them into executable logic pr","authors_text":"Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-11T22:37:45Z","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.08805","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:0bda6e0ec29bd47b412210ab82964089993ad2d9bcbd24ead576e845226c5ffe","target":"record","created_at":"2026-07-05T11:11:38Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"b9f94a97dfec621b26eef1c0647c47ad9c0fd487a5a45d7deeec621dea3a6057","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-11T22:37:45Z","title_canon_sha256":"1ce74311cb3dbf42ad3d10b7938eb5f760357fc8125a2235cd461bf5f4951cd0"},"schema_version":"1.0","source":{"id":"2412.08805","kind":"arxiv","version":3}},"canonical_sha256":"029dbf9130f720faa1b626dd4213a52c3686fa17aed3926d417b396de59111cf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"029dbf9130f720faa1b626dd4213a52c3686fa17aed3926d417b396de59111cf","first_computed_at":"2026-07-05T11:11:38.468050Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:11:38.468050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FYxHPFxc+EGc5uK+zBtjr01JhyMXBoxir8JxNaHQhrzELQXlp2pRZwtG/kX5QstyqWCSgFV3GnPwSZ1VHwiBBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:11:38.468569Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.08805","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0bda6e0ec29bd47b412210ab82964089993ad2d9bcbd24ead576e845226c5ffe","sha256:8aeb2f0546ad14081d054df73ac53eeceb5ea6618c733d97b330000dbcc777ef"],"state_sha256":"9d19bf17d8575ff7a77963a7c2de6713f36ff7034323a2676bd53d6f48a064bf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QA/RHIpwYyCycpia2xyR/wYGW3jIHHNgLqiOo9Lsy1hk2lVdK34KFtVqfShFIzZGmMfLliFPS20JpriFyebaDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T18:48:18.196600Z","bundle_sha256":"e670f9877a100b853301e2911e28546be44a62ba90b1fd4d91daf08dd1ae751e"}}