{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:Q4LLOQAV5B43N6OR2M3KU3W2BA","short_pith_number":"pith:Q4LLOQAV","schema_version":"1.0","canonical_sha256":"8716b74015e879b6f9d1d336aa6eda0813d589ac2eec1ac20e3d9725206f1384","source":{"kind":"arxiv","id":"2502.09903","version":1},"attestation_state":"computed","paper":{"title":"The Ann Arbor Architecture for Agent-Oriented Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.HC","cs.SE"],"primary_cat":"cs.AI","authors_text":"Wei Dong","submitted_at":"2025-02-14T04:21:36Z","abstract_excerpt":"In this paper, we reexamine prompt engineering for large language models through the lens of automata theory. We argue that language models function as automata and, like all automata, should be programmed in the languages they accept, a unified collection of all natural and formal languages. Therefore, traditional software engineering practices--conditioned on the clear separation of programming languages and natural languages--must be rethought. We introduce the Ann Arbor Architecture, a conceptual framework for agent-oriented programming of language models, as a higher-level abstraction ove"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2502.09903","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-14T04:21:36Z","cross_cats_sorted":["cs.HC","cs.SE"],"title_canon_sha256":"658abb3ef45a51cc06df82e7094aa95121932e74537fadf0cbecdeea848b4418","abstract_canon_sha256":"c7b4f414270ac67e81fe21ee6924313b967703685c6f6bf785d219c7204b37df"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:14:14.044955Z","signature_b64":"6lwF1/p5v+0kmN9J2wvxDcwT3dDQL28hATHXUjAobRRf3jU5sQlt3aYwWzQ+vtRX7o1cOaHoat5Y7cuUbDA/CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8716b74015e879b6f9d1d336aa6eda0813d589ac2eec1ac20e3d9725206f1384","last_reissued_at":"2026-07-05T10:14:14.044490Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:14:14.044490Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Ann Arbor Architecture for Agent-Oriented Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.HC","cs.SE"],"primary_cat":"cs.AI","authors_text":"Wei Dong","submitted_at":"2025-02-14T04:21:36Z","abstract_excerpt":"In this paper, we reexamine prompt engineering for large language models through the lens of automata theory. We argue that language models function as automata and, like all automata, should be programmed in the languages they accept, a unified collection of all natural and formal languages. Therefore, traditional software engineering practices--conditioned on the clear separation of programming languages and natural languages--must be rethought. We introduce the Ann Arbor Architecture, a conceptual framework for agent-oriented programming of language models, as a higher-level abstraction ove"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09903","kind":"arxiv","version":1},"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/2502.09903/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2502.09903","created_at":"2026-07-05T10:14:14.044545+00:00"},{"alias_kind":"arxiv_version","alias_value":"2502.09903v1","created_at":"2026-07-05T10:14:14.044545+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09903","created_at":"2026-07-05T10:14:14.044545+00:00"},{"alias_kind":"pith_short_12","alias_value":"Q4LLOQAV5B43","created_at":"2026-07-05T10:14:14.044545+00:00"},{"alias_kind":"pith_short_16","alias_value":"Q4LLOQAV5B43N6OR","created_at":"2026-07-05T10:14:14.044545+00:00"},{"alias_kind":"pith_short_8","alias_value":"Q4LLOQAV","created_at":"2026-07-05T10:14:14.044545+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2504.19678","citing_title":"From LLM Reasoning to Autonomous AI Agents: A Comprehensive Review","ref_index":177,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/Q4LLOQAV5B43N6OR2M3KU3W2BA","json":"https://pith.science/pith/Q4LLOQAV5B43N6OR2M3KU3W2BA.json","graph_json":"https://pith.science/api/pith-number/Q4LLOQAV5B43N6OR2M3KU3W2BA/graph.json","events_json":"https://pith.science/api/pith-number/Q4LLOQAV5B43N6OR2M3KU3W2BA/events.json","paper":"https://pith.science/paper/Q4LLOQAV"},"agent_actions":{"view_html":"https://pith.science/pith/Q4LLOQAV5B43N6OR2M3KU3W2BA","download_json":"https://pith.science/pith/Q4LLOQAV5B43N6OR2M3KU3W2BA.json","view_paper":"https://pith.science/paper/Q4LLOQAV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2502.09903&json=true","fetch_graph":"https://pith.science/api/pith-number/Q4LLOQAV5B43N6OR2M3KU3W2BA/graph.json","fetch_events":"https://pith.science/api/pith-number/Q4LLOQAV5B43N6OR2M3KU3W2BA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Q4LLOQAV5B43N6OR2M3KU3W2BA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Q4LLOQAV5B43N6OR2M3KU3W2BA/action/storage_attestation","attest_author":"https://pith.science/pith/Q4LLOQAV5B43N6OR2M3KU3W2BA/action/author_attestation","sign_citation":"https://pith.science/pith/Q4LLOQAV5B43N6OR2M3KU3W2BA/action/citation_signature","submit_replication":"https://pith.science/pith/Q4LLOQAV5B43N6OR2M3KU3W2BA/action/replication_record"}},"created_at":"2026-07-05T10:14:14.044545+00:00","updated_at":"2026-07-05T10:14:14.044545+00:00"}