Paper Citation Record · LEDGER

Guiding LLM-based Smart Contract Generation with Finite State Machine

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.

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

pith.paper-citation-record.v1
2505.08542 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T21:56:38.836907Z

measured 37 of 37 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T16:15:52.758551Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T11:09:20.743652Z

Reference resolution

35 of 35 outbound references displayed

verified exact1
verified fuzzy28
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c44fa2be-4ba5-4b40-8e2f-cf3e5a41896c · outbound

This paper cites Ver- ification of smart contracts: A survey.

Guiding LLM-based Smart Contract Generation with Finite State Machine Ver- ification of smart contracts: A survey

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.236057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8b6d27e9-c349-4d9a-8a58-2c7756681444 · outbound

This paper cites Lora: Low-rank adaptation of large language models.

Guiding LLM-based Smart Contract Generation with Finite State Machine Lora: Low-rank adaptation of large language models

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.201977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 916c0dc7-c775-4e29-a537-35acdd868759 · outbound

This paper cites Retrofitting Temporal Graph Neural Networks with Transformer.

Guiding LLM-based Smart Contract Generation with Finite State Machine Retrofitting Temporal Graph Neural Networks with Transformer

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:38.730756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 518d734f-b481-4f9f-9968-188cc82683eb · outbound

This paper cites A Survey on Large Language Models for Code Generation.

Guiding LLM-based Smart Contract Generation with Finite State Machine A Survey on Large Language Models for Code Generation

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:38.734511Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6e01518-0a03-40f7-8d3c-c1208b18ae28 · outbound

This paper cites Bert: Pre-training of deep bidirectional transformers for lan- guage understanding.

Guiding LLM-based Smart Contract Generation with Finite State Machine Bert: Pre-training of deep bidirectional transformers for lan- guage understanding

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.190150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation dd59906d-9149-45e6-8bbb-bef32b708f7e · outbound

This paper cites Blockchain smart contracts: Applications, challenges, and future trends.

Guiding LLM-based Smart Contract Generation with Finite State Machine Blockchain smart contracts: Applications, challenges, and future trends

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.179320Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ee00e1cb-8710-4ec7-8f6f-4371c3854ba0 · outbound

This paper cites When moe meets llms: Parameter efficient fine-tuning for multi-task medical applications.

Guiding LLM-based Smart Contract Generation with Finite State Machine When moe meets llms: Parameter efficient fine-tuning for multi-task medical applications

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.169514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 87e57d79-8201-452d-b225-8f41a2379e12 · outbound

This paper cites Structured chain-of-thought prompting for code genera- tion.

Guiding LLM-based Smart Contract Generation with Finite State Machine Structured chain-of-thought prompting for code genera- tion

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.160059Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 68f3bd1a-1639-49d4-9762-6b7980ae8198 · outbound

This paper cites Making smart con- tracts smarter.

Guiding LLM-based Smart Contract Generation with Finite State Machine Making smart con- tracts smarter

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.130151Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3dd5b834-6bdb-4797-aec6-218af434b37a · outbound

This paper cites Tool demonstration: Fsolidm for designing secure ethereum smart contracts.

Guiding LLM-based Smart Contract Generation with Finite State Machine Tool demonstration: Fsolidm for designing secure ethereum smart contracts

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.109590Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 48885395-a66e-4447-ad83-e8299f2ddf5c · outbound

This paper cites Model-driven smart contract generation lever- aging chatgpt.

Guiding LLM-based Smart Contract Generation with Finite State Machine Model-driven smart contract generation lever- aging chatgpt

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.088394Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f7e22904-a922-4d9f-ad5d-56b45218a226 · outbound

This paper cites Synchromesh: Reliable code generation from pre-trained language models.

Guiding LLM-based Smart Contract Generation with Finite State Machine Synchromesh: Reliable code generation from pre-trained language models

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:38.782520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a9aad9e-55b0-43cb-98d0-789042f53a69 · outbound

This paper cites Smart contract: Attacks and protections.

Guiding LLM-based Smart Contract Generation with Finite State Machine Smart contract: Attacks and protections

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.066336Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0f2b8ff7-0251-4e24-85ba-62327c39e27f · outbound

This paper cites Das contract-a visual domain specific language for modeling blockchain smart contracts.

Guiding LLM-based Smart Contract Generation with Finite State Machine Das contract-a visual domain specific language for modeling blockchain smart contracts

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.055537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b6508d4c-b16d-4e5b-92a6-a5f4798b254b · outbound

This paper cites Smart Contract Design Meets State Machine Synthesis: Case Studies.

Guiding LLM-based Smart Contract Generation with Finite State Machine Smart Contract Design Meets State Machine Synthesis: Case Studies

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:38.796305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec62d8b3-b22a-4327-948e-104238964744 · outbound

This paper cites Lorikeet: A model-driven engineering tool for blockchain-based business process execution and as- set management.

Guiding LLM-based Smart Contract Generation with Finite State Machine Lorikeet: A model-driven engineering tool for blockchain-based business process execution and as- set management

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.044260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 91458ab8-8136-48e9-9005-26d977abbf1b · outbound

This paper cites An overview of smart contract: architecture, applications, and future trends.

Guiding LLM-based Smart Contract Generation with Finite State Machine An overview of smart contract: architecture, applications, and future trends

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.032801Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 468cbed5-6f16-4756-ab24-c1e5817d2061 · outbound

This paper cites Self-supervised learning for graph dataset condensation.

Guiding LLM-based Smart Contract Generation with Finite State Machine Self-supervised learning for graph dataset condensation

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.021000Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ad38f411-f23c-4e5c-a7ad-b2657274e585 · outbound

This paper cites Chain-of-thought prompting elicits reasoning in large language models.

Guiding LLM-based Smart Contract Generation with Finite State Machine Chain-of-thought prompting elicits reasoning in large language models

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:38.810392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adec98fc-8edf-4c84-923c-5139ba43a666 · outbound

This paper cites Domain specific language for smart contract devel- opment.

Guiding LLM-based Smart Contract Generation with Finite State Machine Domain specific language for smart contract devel- opment

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.004948Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation fdbaa25b-b167-481c-b9e3-08a0e978d6ee · outbound

This paper cites Efficient multi-task llm quanti- zation and serving for multiple lora adapters.

Guiding LLM-based Smart Contract Generation with Finite State Machine Efficient multi-task llm quanti- zation and serving for multiple lora adapters

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:38.994623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 62dbe5d6-9084-4b5a-85ab-4005d3e9461a · outbound

This paper cites Harnessing the power of llms in practice: A survey on chatgpt and be- yond.

Guiding LLM-based Smart Contract Generation with Finite State Machine Harnessing the power of llms in practice: A survey on chatgpt and be- yond

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:38.983660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6eb7dbe6-3f7d-4935-ba6b-b265ff4c96ba · outbound

This paper cites Smart contract gen- eration model based on code annotation and ast-lstm tun- ing,.

Guiding LLM-based Smart Contract Generation with Finite State Machine Smart contract gen- eration model based on code annotation and ast-lstm tun- ing,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:38.972280Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0371f997-c3d7-4232-8b5d-54e787ae09e8 · outbound

This paper cites Treecss: An efficient framework for verti- cal federated learning.

Guiding LLM-based Smart Contract Generation with Finite State Machine Treecss: An efficient framework for verti- cal federated learning

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:38.961757Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 81f6db32-467f-4820-a33d-31d145ccc55e · outbound

This paper cites Recommender systems in the era of large language models (llms).

Guiding LLM-based Smart Contract Generation with Finite State Machine Recommender systems in the era of large language models (llms)

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:38.950523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4b61dfca-d847-4e95-b3e8-f3f72eb31e68 · outbound

This paper cites 1 for other notations.

Guiding LLM-based Smart Contract Generation with Finite State Machine 1 for other notations

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:38.938935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 41da4c4a-800d-4f81-bd4d-2bbab21f724e · outbound

This paper cites Visual and user-defined smart contract de- signing system based on automatic coding.

Guiding LLM-based Smart Contract Generation with Finite State Machine Visual and user-defined smart contract de- signing system based on automatic coding

Reference 2016

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.120149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ccfaf59c-d7a6-4a54-a4d2-37b8d9d90bfd · outbound

This paper cites Taiyi: a bilingual fine-tuned large language model for diverse biomedical tasks.

Guiding LLM-based Smart Contract Generation with Finite State Machine Taiyi: a bilingual fine-tuned large language model for diverse biomedical tasks

Reference 2017

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.140468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8ed64968-6c29-4035-b79b-446124c054fd · outbound

This paper cites Lever- aging large language models for automatic smart contract generation.

Guiding LLM-based Smart Contract Generation with Finite State Machine Lever- aging large language models for automatic smart contract generation

Reference 2018

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.099238Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 603f965b-759c-470c-bd99-6ac0816396d9 · outbound

This paper cites Slither: a static analysis framework for smart contracts.

Guiding LLM-based Smart Contract Generation with Finite State Machine Slither: a static analysis framework for smart contracts

Reference 2019

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.212281Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8167dd0f-64a0-4c57-acec-f695d0a9756a · outbound

This paper cites Efficacy of Various Large Language Models in Generating Smart Contracts.

Guiding LLM-based Smart Contract Generation with Finite State Machine Efficacy of Various Large Language Models in Generating Smart Contracts

Reference 2020

Resolution: verified exact; local_arxiv, observed 2026-08-15T21:56:38.924965Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation cafd1067-fae7-4e5d-8c01-536756dd61af · outbound

This paper cites Language Ranker: A Metric for Quantifying LLM Performance Across High and Low-Resource Languages.

Guiding LLM-based Smart Contract Generation with Finite State Machine Language Ranker: A Metric for Quantifying LLM Performance Across High and Low-Resource Languages

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:38.746269Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aabc7e78-43ee-4479-9d01-33e0f61ecc6b · outbound

This paper cites Chat2code: A chatbot for model specification and code generation, the case of smart contracts.

Guiding LLM-based Smart Contract Generation with Finite State Machine Chat2code: A chatbot for model specification and code generation, the case of smart contracts

Reference 2022

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.077103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8de59bd2-edda-4bd9-9b8f-3782e4df9a23 · outbound

This paper cites Caterpillar: A blockchain-based business process manage- ment system.

Guiding LLM-based Smart Contract Generation with Finite State Machine Caterpillar: A blockchain-based business process manage- ment system

Reference 2023

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.150360Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ffe98f99-6320-4bed-ac8c-c3a8d08bd1f2 · outbound

This paper cites Smart contract templates: foundations, design landscape and research directions (2016).

Guiding LLM-based Smart Contract Generation with Finite State Machine Smart contract templates: foundations, design landscape and research directions (2016)

Reference 2024

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:39.223855Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Pith citing papers

Observation adca93b6-fc2b-46cd-9aca-bdaf138553d1 · inbound

On LLM-Assisted Generation of Smart Contracts from Business Processes cites this paper.

On LLM-Assisted Generation of Smart Contracts from Business Processes Guiding LLM-based Smart Contract Generation with Finite State Machine

Reference 25

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T11:09:20.750424Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 086b98dc-5eee-4e38-a8d5-78676571e7c6 · inbound

SoK: Security and Privacy of AI Agents for Blockchain cites this paper.

SoK: Security and Privacy of AI Agents for Blockchain Guiding LLM-based Smart Contract Generation with Finite State Machine

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-15T16:15:52.758551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.