{"as_of":"2026-08-20T23:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:de50e9f3235ba0023b86ab959068c54cbcffad46c68142d80fd60ea39d12a88f","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-20T06:33:59.587034+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-17T19:08:46.538009Z","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:bbedbd1974ef3b43994625acef7909369b906dae3bbbfeae533980cde2300e8a","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T13:12:39.569402Z","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:9d52aef9413900fa3acebd1689e02812b832824741273a7b29bf3a17dbe74eeb","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:4c2bb989e1b2e0416e16378b0ae48f9ad3c9ad00d8e04d68e3890c6f1a3b0344","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:1a679d1e5072f4b6769aaa8b3e6febdea136f0efa1a10585d7d942f6b3c9c030","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-19T00:36:31.965876Z","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:583ec51f92f38ae8392d5c20504ffbe8c928525179189ea677e2ee252446ac3a","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:271d79273c48c329963f865d06f942e11615af39dd6da5fc5eb061b001c3c03c","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:b961ead7a734bda31da42e46af5b09083252aa2aac0b5d599ad1753845b3a633","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:ec8b0dad69eb5c858509439522c589bfd7a8636813c2b8b11121ac345c90bb74","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:820d00c96ce3f5a6f8b9c1fce18d36ec302f2c1158dd05572b6e28da0601cec4","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:28a8a98255604b1a8fd356d607ee7968ea3c0b4f454fb84dc652dabfa6cdfb31","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:189844ccd9ced0023ca46929fc92f9543e16a8ef7a3abe47b76df48f3517fe93","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:ff4f80104390fa14d64eb6dfb24e7dd7398af37dabce02f88b22057cf6a15246","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T17:25:41.129441Z","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:6061a8b41935175a4cf235986c360fb3464674e6b5fc572b20ce924a20c15a82","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:f9104286b99a869c3a8d2b9884ca826dfa611990778ac5dec3cab0a8831978e1","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:c5368645fda55d371ce14a7fefc8c2a5b1d571ceea17ae562f3514bf5401bf91","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-19T00:36:27.057081Z","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:7910260de15063cb17de90cca5360a2cad25f2dc17b30c78702acf895c83429d","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:929b9c4d406fb0f70128fa4d842ab0d0e27a7ca37b807d01f56df46eb33ce5c4","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:e007863f9603b459f79bb7279476113c51e811100aa5c902e786eaffc39ebd80","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:1ce334bab2bbed410da8ab37bdcdd334f5a8cdc0a8774103980564339309948e","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:3c843ce2968dcfd70cf9bd81a2dca1153fffc2013a65b4b1d36ff5772d21265c","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:c386845cf92b275237dbb47af689cd944981e5ff09d52ad3bb6192c29325e968","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:0e3b2d400f197e5fae844f1f40b815837490e8730383f861afe0a8566934007a","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:d1960555b4a06e420fa314c456d606f6a82b9649759965e179b084338111f169","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:5a1872814cc2eb29738ad444f9866b48bdab29192f2afc8e1cae930aae69b403","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:afdf47647c4a0ddc5e7a4ee59dbc76264f58e77a5c3043416fdd9c479ae2d106","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:b767cbc7957b8d89756ea5749ed0de121dc5d5c5f3e9f40faa2b5bf661585c1e","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:2199898f389df9a29c5cba1eb4fb067098cea163fe89d82351ccafc6adbc93cd","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:a308d4a6f66e8a86aac99e71c3c3cb8ed70cea68d20d310cadb4b467a8e384c6","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:b935c04e7423552716ddbd5e7ee3943c759cf00d531f94bf891369cd5db80376","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:ef8a403b10180811cf9e7f4f055972735089561c24ac28cb7df9f3797fe45805","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-19T00:36:30.786022Z","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:958efec16d520ed9fc341efb0f4bb565261094875f00df6e40d19b62181ca8a1","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T18:16:41.360493Z","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:2846644544f81bb20089dc031d81eaad1b66a86a74c61968b420900316bf0667","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:71f3108a133bf730da2d4bcbe7e91b8fb355130eeb8a78f2707959e341a474d8","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:1bd9d53fe3a5f0af0c82e83324876ceb63ca968c4e4d8196d92e634a71c58dd4","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:01f7db05b5fd1f3c3dbed70926d9b38bb636e763cdb11f7730f71b3225b38dd8","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 2 inbound Pith citation observations for arXiv:2505.08542."}