{"as_of":"2026-08-16T09:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:be3164b5044061671bd4ebba3aa6f8e71e896407243adbb415b2b8a75ffceb8b","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T21:56:38.836907Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T16:15:52.758551Z","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-06T11:09:20.743652Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"cited_work":{"arxiv_id":"2505.08542","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.08542","snapshot_observed_at":"2026-08-06T11:09:20.743652Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","venue":"cs.AI","work_id":"6540e14f-6e83-4005-84b7-b02d8fe7c37f","year":2025},"citing_paper":{"arxiv_id":"2507.23087","last_updated":"2025-07-30T20:39:45Z","snapshot_observed_at":"2026-08-08T13:24:04.027885Z","submitted_at":"2025-07-30T20:39:45Z","title":"On LLM-Assisted Generation of Smart Contracts from Business Processes","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T11:09:20.076833Z"},"links":{"cited_paper":"/paper/2505.08542","citing_paper":"/paper/2507.23087"},"observation_digest":"sha256:f73d2ba7761794e45413ef3d4f7976903da2b70d20ee059c2b34e03efb9b681b","observation_id":"adca93b6-fc2b-46cd-9aca-bdaf138553d1","resolution":{"observed_at":"2026-08-06T11:09:20.750424Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.08542","snapshot_observed_at":"2026-08-15T16:15:52.758551Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.07131","last_updated":"2025-09-08T18:32:15Z","snapshot_observed_at":"2026-08-15T19:05:42.509748Z","submitted_at":"2025-09-08T18:32:15Z","title":"SoK: Security and Privacy of AI Agents for Blockchain","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-15T16:15:52.758551Z"},"links":{"cited_paper":"/paper/2505.08542","citing_paper":"/paper/2509.07131"},"observation_digest":"sha256:a96bba7029e17649be47e062889d3492b1358e720319a171ebbc60cdcff7d948","observation_id":"086b98dc-5eee-4e38-a8d5-78676571e7c6","resolution":{"observed_at":"2026-08-15T16:15:52.758551Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2505.08542/citation-record","integrity":"/paper/2505.08542/integrity","json":"/paper/2505.08542/citation-record.json","paper":"/paper/2505.08542"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:56:39.232026Z","title":"Ver- ification of smart contracts: A survey","venue":null,"work_id":"66f4cfcc-c4a0-436c-9880-76aa04a17475","year":2020},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.710134Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:45256bae7b693039d1afcff2e831e7d6df3a9a95dabd675aa6f965f1ecfb8db5","observation_id":"c44fa2be-4ba5-4b40-8e2f-cf3e5a41896c","resolution":{"observed_at":"2026-08-15T21:56:39.236057Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.198014Z","title":"Lora: Low-rank adaptation of large language models","venue":null,"work_id":"ee786c5e-6003-4661-b9c3-caad60b763f4","year":2022},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.726989Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:d558edce4ed603a3aabf570061ea2ad528863b16b82c6e6a45c7586ec97495cb","observation_id":"8b6d27e9-c349-4d9a-8a58-2c7756681444","resolution":{"observed_at":"2026-08-15T21:56:39.201977Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.05477","last_updated":"2024-09-18T09:15:10Z","snapshot_observed_at":"2026-08-15T11:52:32.034648Z","submitted_at":"2024-09-09T10:11:25Z","title":"Retrofitting Temporal Graph Neural Networks with Transformer","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.05477","snapshot_observed_at":"2026-08-15T21:56:38.730756Z","title":"Retrofitting temporal graph neural networks with transformer","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.730756Z"},"links":{"cited_paper":"/paper/2409.05477","citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:38daaac5bf5ac613716028bc8689920605cb1e643397545c050a8f1b9cfb9207","observation_id":"916c0dc7-c775-4e29-a537-35acdd868759","resolution":{"observed_at":"2026-08-15T21:56:38.730756Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.00515","last_updated":"2024-11-10T22:02:27Z","snapshot_observed_at":"2026-08-14T16:40:35.729198Z","submitted_at":"2024-06-01T17:48:15Z","title":"A Survey on Large Language Models for Code Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.00515","snapshot_observed_at":"2026-08-15T21:56:38.734511Z","title":"A survey on large language models for code generation","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.734511Z"},"links":{"cited_paper":"/paper/2406.00515","citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:e42157dce611e9dfb1186f7df7ad50228ed937f050dbfb9e7dbdaccae11cf83f","observation_id":"518d734f-b481-4f9f-9968-188cc82683eb","resolution":{"observed_at":"2026-08-15T21:56:38.734511Z","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-15T21:56:39.185952Z","title":"Bert: Pre-training of deep bidirectional transformers for lan- guage understanding","venue":null,"work_id":"1438ab21-5fd6-45ff-b2f3-2ab6f207059e","year":2019},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.738415Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:cd7ef6af7c1891cad4fe2330593aac79e9ea92f5594028d7bdb777755ece0033","observation_id":"c6e01518-0a03-40f7-8d3c-c1208b18ae28","resolution":{"observed_at":"2026-08-15T21:56:39.190150Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.175892Z","title":"Blockchain smart contracts: Applications, challenges, and future trends","venue":null,"work_id":"5eb10ee4-f35e-4d18-a774-3a4155848473","year":2021},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.742232Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:8f54d62e5a945e1f50e17bdb54bf2a8cba18b6fadb01821c2c7d9e857cd34f44","observation_id":"dd59906d-9149-45e6-8bbb-bef32b708f7e","resolution":{"observed_at":"2026-08-15T21:56:39.179320Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.166221Z","title":"When moe meets llms: Parameter efficient fine-tuning for multi-task medical applications","venue":null,"work_id":"b6c552dc-7720-454f-aaae-4778f88569ea","year":2024},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.751453Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:cfad494f3755e4b8d8fe99825ee3b95bccebc7f53a96befbffffecfb7f168eef","observation_id":"ee00e1cb-8710-4ec7-8f6f-4371c3854ba0","resolution":{"observed_at":"2026-08-15T21:56:39.169514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.156700Z","title":"Structured chain-of-thought prompting for code genera- tion","venue":null,"work_id":"0b25d022-fa54-484e-b185-d8ed79ca5a94","year":2023},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.754904Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:5dc4c20875ff69c8929c23020e2276b6d283fc6a1c70952cba933e8172f5366b","observation_id":"87e57d79-8201-452d-b225-8f41a2379e12","resolution":{"observed_at":"2026-08-15T21:56:39.160059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.126828Z","title":"Making smart con- tracts smarter","venue":null,"work_id":"ca8e3303-16f8-4c15-b20e-7dc3c37eb146","year":2016},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.765791Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:b39109293f27c0eb092f0d0ad406324583e75a195dbe4867f098dcd14b5c4a19","observation_id":"68f3bd1a-1639-49d4-9762-6b7980ae8198","resolution":{"observed_at":"2026-08-15T21:56:39.130151Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.106023Z","title":"Tool demonstration: Fsolidm for designing secure ethereum smart contracts","venue":null,"work_id":"46e34a17-0466-4ea9-8688-7eb54f006545","year":2018},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.772798Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:56f5e9455dfe28f86a8edff4d6f17f94d2bdb42243b8f40f612ae3dcba83b014","observation_id":"3dd5b834-6bdb-4797-aec6-218af434b37a","resolution":{"observed_at":"2026-08-15T21:56:39.109590Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.084152Z","title":"Model-driven smart contract generation lever- aging chatgpt","venue":null,"work_id":"0fe15745-b9ee-44ba-9066-2f34d6daa3e6","year":2023},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.779260Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:fa4c4e08ce7423ad610f705d0ea635269d825ab0c71145dcc538078241943486","observation_id":"48885395-a66e-4447-ad83-e8299f2ddf5c","resolution":{"observed_at":"2026-08-15T21:56:39.088394Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2201.11227","last_updated":"2022-01-26T22:57:44Z","snapshot_observed_at":"2026-08-15T04:26:34.550371Z","submitted_at":"2022-01-26T22:57:44Z","title":"Synchromesh: Reliable code generation from pre-trained language models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2201.11227","snapshot_observed_at":"2026-08-15T21:56:38.782520Z","title":"Synchromesh: Reliable code gener- ation from pre-trained language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.782520Z"},"links":{"cited_paper":"/paper/2201.11227","citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:c29a54cda07cdb32d19b20c2c121a327d0e5b34b0fffce9db43894dfd212c8aa","observation_id":"f7e22904-a922-4d9f-ad5d-56b45218a226","resolution":{"observed_at":"2026-08-15T21:56:38.782520Z","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-15T21:56:39.062708Z","title":"Smart contract: Attacks and protections","venue":null,"work_id":"c4e2a9da-f0bf-4559-96e2-88781a7f47f8","year":2020},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.789653Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:775636868ae9f0a1b0af560d78078d1d52588feebb26e90d4c1798e1d09be2bf","observation_id":"1a9aad9e-55b0-43cb-98d0-789042f53a69","resolution":{"observed_at":"2026-08-15T21:56:39.066336Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.051489Z","title":"Das contract-a visual domain specific language for modeling blockchain smart contracts","venue":null,"work_id":"68f9b0c7-cd7e-44dd-8242-ba987fd858c5","year":2019},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.793011Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:6e02a93004285ee8148640b307fa9de212b372c40d8f60041b0fea163269c74f","observation_id":"0f2b8ff7-0251-4e24-85ba-62327c39e27f","resolution":{"observed_at":"2026-08-15T21:56:39.055537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1906.02906","last_updated":"2019-06-07T05:41:56Z","snapshot_observed_at":"2026-08-14T16:19:27.739755Z","submitted_at":"2019-06-07T05:41:56Z","title":"Smart Contract Design Meets State Machine Synthesis: Case Studies","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1906.02906","snapshot_observed_at":"2026-08-15T21:56:38.796305Z","title":"Smart contract design meets state machine synthesis: Case studies","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.796305Z"},"links":{"cited_paper":"/paper/1906.02906","citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:f646a2dd41b55fb74a9304600e47299ef04702ea989a7e9fe00b7a1971990109","observation_id":"b6508d4c-b16d-4e5b-92a6-a5f4798b254b","resolution":{"observed_at":"2026-08-15T21:56:38.796305Z","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-15T21:56:39.040341Z","title":"Lorikeet: A model-driven engineering tool for blockchain-based business process execution and as- set management","venue":null,"work_id":"aab2b732-d9f5-4ce2-913c-b649029ab35e","year":2018},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.799889Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:d06cd27728dee73fbdab0a432dd37e5786e8baa6e143b423f63b1cbc2dd42302","observation_id":"ec62d8b3-b22a-4327-948e-104238964744","resolution":{"observed_at":"2026-08-15T21:56:39.044260Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.028912Z","title":"An overview of smart contract: architecture, applications, and future trends","venue":null,"work_id":"7483268c-ebcc-4554-a9e4-05932db268e7","year":2018},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.803713Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:dfeddffb9c3649a15eff4b3782ef023f6269e3822cc53acae9759240495c8e5a","observation_id":"91458ab8-8136-48e9-9005-26d977abbf1b","resolution":{"observed_at":"2026-08-15T21:56:39.032801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.017481Z","title":"Self-supervised learning for graph dataset condensation","venue":null,"work_id":"078ef2b8-e6ce-4284-bde7-53835e93fae1","year":2024},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.807077Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:151109c897b5f2433c0e869782ac82524484fa6ceb81c94f45918c46302014ca","observation_id":"468cbed5-6f16-4756-ab24-c1e5817d2061","resolution":{"observed_at":"2026-08-15T21:56:39.021000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:38.810392Z","title":"Chain-of-thought prompting elicits reasoning in large language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.810392Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:670fa6ce19ebaf734583a87dd987f82625798da902ddbcc21bea1a2fdbd70b95","observation_id":"ad38f411-f23c-4e5c-a7ad-b2657274e585","resolution":{"observed_at":"2026-08-15T21:56:38.810392Z","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-15T21:56:39.001385Z","title":"Domain specific language for smart contract devel- opment","venue":null,"work_id":"2e4509af-5f35-4798-8d04-3683c11a859f","year":2020},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.813927Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:7978722fde85e4ee99a030ef258536846e3c337e7338e9644d05eb663e56e5a1","observation_id":"adec98fc-8edf-4c84-923c-5139ba43a666","resolution":{"observed_at":"2026-08-15T21:56:39.004948Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:38.990924Z","title":"Efficient multi-task llm quanti- zation and serving for multiple lora adapters","venue":null,"work_id":"284c79c9-d142-43c6-b26c-99293cefdb84","year":2024},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.817360Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:4df848104c832f9390764ec82af8d6c24dc2d2d6b8a79bf02205233931b95aa6","observation_id":"fdbaa25b-b167-481c-b9e3-08a0e978d6ee","resolution":{"observed_at":"2026-08-15T21:56:38.994623Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:38.979970Z","title":"Harnessing the power of llms in practice: A survey on chatgpt and be- yond","venue":null,"work_id":"0507a8c3-2234-4a93-b6e7-4230a45191b6","year":2024},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.821474Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:776f65f3528d33e6e37d794034476aebead731833896016ff8fcf50a65dd4b70","observation_id":"62dbe5d6-9084-4b5a-85ab-4005d3e9461a","resolution":{"observed_at":"2026-08-15T21:56:38.983660Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:38.968357Z","title":"Smart contract gen- eration model based on code annotation and ast-lstm tun- ing,","venue":null,"work_id":"ee59a7d2-c1b8-4233-90ad-1f31b4ed85c2","year":2024},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.825718Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:66b5cc12d23fc4d83ebd84c9b0acb21ebcb7944739ee4fda4b624c2da63d3ec0","observation_id":"6eb7dbe6-3f7d-4935-ba6b-b265ff4c96ba","resolution":{"observed_at":"2026-08-15T21:56:38.972280Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:38.957945Z","title":"Treecss: An efficient framework for verti- cal federated learning","venue":null,"work_id":"051fa6c1-ada6-499e-82c1-f348d5dab325","year":2024},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.829139Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:87f74ede7e441f1ec1925041e0f4e0341f535f9d5edf5fe1407b202cb939db53","observation_id":"0371f997-c3d7-4232-8b5d-54e787ae09e8","resolution":{"observed_at":"2026-08-15T21:56:38.961757Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:38.946890Z","title":"Recommender systems in the era of large language models (llms)","venue":null,"work_id":"c61e9b43-1dc3-43d8-8b9a-3858d11a7a33","year":2024},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.832735Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:1912801a6c0e3b4bab94e50e032bc17a7bacf49ad475a29655055809caef9974","observation_id":"81f6db32-467f-4820-a33d-31d145ccc55e","resolution":{"observed_at":"2026-08-15T21:56:38.950523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:38.935204Z","title":"1 for other notations","venue":null,"work_id":"d49485b2-2376-4895-a0c6-ab6ff2857ec9","year":2024},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.836907Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:47190b6aadfdba240423e5ff2fcce3024a5d618ef7e7a1208cc647146fd4551c","observation_id":"4b61dfca-d847-4e95-b3e8-f3f72eb31e68","resolution":{"observed_at":"2026-08-15T21:56:38.938935Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.116375Z","title":"Visual and user-defined smart contract de- signing system based on automatic coding","venue":null,"work_id":"d9ee0428-3609-4b53-b8fc-4f8f5b9ad0e6","year":2019},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.769252Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:913b69721ec9ed831059996140bbe1cffc3bda6d69a2c35730d3146d16462059","observation_id":"41da4c4a-800d-4f81-bd4d-2bbab21f724e","resolution":{"observed_at":"2026-08-15T21:56:39.120149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.136809Z","title":"Taiyi: a bilingual fine-tuned large language model for diverse biomedical tasks","venue":null,"work_id":"55fcea7e-6a41-4191-acf1-e178a78562b8","year":2024},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.762582Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:7fab4b9a7ded29ae0a0ec3e2c7bde25f6192ce1a7532924415b14c255bc34ce3","observation_id":"ccfaf59c-d7a6-4a54-a4d2-37b8d9d90bfd","resolution":{"observed_at":"2026-08-15T21:56:39.140468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.095599Z","title":"Lever- aging large language models for automatic smart contract generation","venue":null,"work_id":"d2214497-9477-4fd3-a2f9-8638e6249426","year":2024},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.775965Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:f3f997b0e71952fe6c6015af3e988516a431dad7765a05baece7cb349fb65b1d","observation_id":"8ed64968-6c29-4035-b79b-446124c054fd","resolution":{"observed_at":"2026-08-15T21:56:39.099238Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.208693Z","title":"Slither: a static analysis framework for smart contracts","venue":null,"work_id":"25baa450-ec44-41f2-bcb2-64603d599183","year":2019},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.722437Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:3cd5f85402011d25aca90fa8c7d9d9eb25f326e68f42623d05a8a39f9b0883a2","observation_id":"603f965b-759c-470c-bd99-6ac0816396d9","resolution":{"observed_at":"2026-08-15T21:56:39.212281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11019","last_updated":"2024-11-05T16:21:55Z","snapshot_observed_at":"2026-08-12T23:32:30.705991Z","submitted_at":"2024-06-28T17:31:47Z","title":"Efficacy of Various Large Language Models in Generating Smart Contracts","version":2},"cited_work":{"arxiv_id":"2407.11019","doi":null,"metadata_source":"pith","pith_arxiv_id":"2407.11019","snapshot_observed_at":"2026-08-15T21:56:38.918536Z","title":"Efficacy of Various Large Language Models in Generating Smart Contracts","venue":"cs.SE","work_id":"49d9eb1b-27d2-4844-a54e-7acc7a19b2ab","year":2024},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.714702Z"},"links":{"cited_paper":"/paper/2407.11019","citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:0e45ff24ddca1a78156e49b9d9da3ee6a6a638ac629d7be9bc9e52ad78c2e5ee","observation_id":"8167dd0f-64a0-4c57-acec-f695d0a9756a","resolution":{"observed_at":"2026-08-15T21:56:38.924965Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.11553","last_updated":"2024-12-11T09:04:18Z","snapshot_observed_at":"2026-08-13T00:28:02.484144Z","submitted_at":"2024-04-17T16:53:16Z","title":"Language Ranker: A Metric for Quantifying LLM Performance Across High and Low-Resource Languages","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.11553","snapshot_observed_at":"2026-08-15T21:56:38.746269Z","title":"Quantifying multilingual performance of large language models across languages","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.746269Z"},"links":{"cited_paper":"/paper/2404.11553","citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:352cb171a8e284fc67606882d6cc9d6b1c6a3a1a68b02c760ff8cc836cf3982d","observation_id":"cafd1067-fae7-4e5d-8c01-536756dd61af","resolution":{"observed_at":"2026-08-15T21:56:38.746269Z","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-15T21:56:39.073447Z","title":"Chat2code: A chatbot for model specification and code generation, the case of smart contracts","venue":null,"work_id":"efc3288d-babc-4147-9678-8c153964989b","year":2023},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.786208Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:bcde84faae3c37d438d719d5cf839c9170aa25d1a67568f349f92381371b67f5","observation_id":"aabc7e78-43ee-4479-9d01-33e0f61ecc6b","resolution":{"observed_at":"2026-08-15T21:56:39.077103Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.146818Z","title":"Caterpillar: A blockchain-based business process manage- ment system","venue":null,"work_id":"e7312804-675a-47eb-95bb-890d76746336","year":2017},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.758703Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:606f0dff3a292b491b298825fe54ea6230d4d59665f46f08d9a71f7bd8043a20","observation_id":"8de59bd2-edda-4bd9-9b8f-3782e4df9a23","resolution":{"observed_at":"2026-08-15T21:56:39.150360Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T21:56:39.219160Z","title":"Smart contract templates: foundations, design landscape and research directions (2016)","venue":null,"work_id":"24f8f5ff-5c7f-446f-8bb2-190d7b93f481","year":2016},"citing_paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:38.718724Z"},"links":{"citing_paper":"/paper/2505.08542"},"observation_digest":"sha256:940aa9e188c8535e233a981904dbd7e4803505479902f4221ad84dcb6cb70ffa","observation_id":"ffe98f99-6320-4bed-ac8c-c3a8d08bd1f2","resolution":{"observed_at":"2026-08-15T21:56:39.223855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.08542","last_updated":"2025-05-13T13:13:26Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-15T22:01:19.896152Z","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":1,"verified_fuzzy":28},"total_outbound_references":35},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 2 inbound Pith citation observations for arXiv:2505.08542."}